Postdoctoral position in modeling and verification, Marseille (France)

A 1-year postdoc position is available in the Modelling and Verification team of the LIF (Laboratoire d'Informatique Fondamentale de Marseille), Aix-Marseille University (Marseille, France). The position is funded by the ANR project ECSPER.

Candidates should hold (or be close to) a PhD in Computer Science. The ideal candidate has a strong background in algorithmics for verification and/or controller synthesis, or in distributed computing. The candidate is expected to work in one of the following research topics, which are actually investigated within the ECSPER project:
- robustness and implementability of distributed and/or timed systems
- faults and perturbations in distributed computing
- robust controller synthesis for non-linear hybrid systems

The position is available immediately, or anytime before October 2012. For more information, see the full announcement at http://www.lif.univ-mrs.fr/~preynier/ECSPER/postdoc.php