Postdoc position
A postdoc position is available in the Modelling and Verification team of 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 there.
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. Required documents are:
- a detailled curriculum vitae, including a list of publications
- recommendation letters or references