[TYPES/announce] Postdoc position on Reversible computing

[Ivan Lanese]

 	Call for PostDocs

The ANR REVER project is seeking applicants for two 1-year
post-doctoral research positions. The work will be done either at the
Spades team at INRIA Grenoble, at the Focus team at University of
Bologna (joint team with INRIA Sophia Antipolis Méditerranée) or at
the PPS laboratory at the University of Paris Denis Diderot.  The
REVER project aims at facilitating the programming of recoverable
systems, i.e. of systems that can tolerate faults by means of system
recovery techniques, using reversible computing.  More precisely, the
REVER project aims to study the possibility of defining semantically
well-founded and composable abstractions for dependable computing on
the basis of a reversible programming language substrate, where
reversibility means the ability to undo any distributed program
execution, possibly step by step, and to revert it to a state
consistent with the past execution.

See
http://www.pps.univ-paris-diderot.fr/~jkrivine/ANR/REVER/ANR_REVER/Welcome.html
for more information on the REVER project.

The successful applicants will be expected to contribute to this
research effort, which will include both semantic foundations,
programming abstractions, and practical implementations.

Requirements for application:
* Ph.D. in Computer Science (completed or near completion)
* A research background on concurrency theory, programming language
semantics, programming language implementation, or distributed algorithms.

Application procedure:

* To apply send a curriculum, a publication record and a statement of
   interest via e-mail to Prof. Jean-Bernard Stefani
   <jean-bernard.stefani at inria.fr>, Dr. Ivan Lanese
   <lanese at cs.unibo.it>, and Dr Jean Krivine
   <jean.krivine at pps.univ-paris-diderot.fr>.

* Deadline: April 30, 2014