*** 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 at:
http://www.lif.univ-mrs.fr/~preynier/ECSPER/
Candidates should hold (or be close to) a PhD in Computer Science.
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
algorithmic for verification and/or controller synthesis.
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
- robust controller synthesis for non-linear hybrid systems
- faults and perturbations in distributed computing
algorithmic for verification and/or controller synthesis.
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
- robust controller synthesis for non-linear hybrid systems
- faults and perturbations in distributed computing
EMPLOYMENT
The duration of the contract is one year.
The position is available immediately, or anytime before October 2012.
Applications should be sent before July 8th, 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
(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:
--
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
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
Posts
