Logic List Mailing Archive

Postdoctoral position in modeling and verification, Marseille (France)

*** POSTDOC POSITION ***

A 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.
A short description of the ANR project ECSPER can be found at:
http://www.lif.univ-mrs.fr/~preynier/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


EMPLOYMENT

The duration of the contract is one year.
The position is available immediately, or anytime before October 2012.

Applications should be sent to Pierre-Alain Reynier
(pierre-alain.reynier@lif.univ-mrs.fr)
Required documents are:
- a detailled curriculum vitae, including a list of publications
- recommendation letters or references

The announcement for this position can be found there:
http://www.lif.univ-mrs.fr/~preynier/ECSPER/postdoc.php

--
Pierre-Alain Reynier
Laboratoire d'Informatique Fondamentale de Marseille
Université d'Aix-Marseille & CNRS
http://www.lif.univ-mrs.fr/~preynier/
Phone : (+33/0) 4 13 55 13 07