Postdoc Position - Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France.
A Postdoc Position is available in the Rigorous System Design (RSD) team at Verimag Laboratory, Grenoble, France.
http://www-verimag.imag.fr/rsd.html
The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints.
The RSD team is looking for a responsible and mature post-doc who can contribute to the team research topics, in particular for:
- component-based and model-based engineering of autonomous systems;
- model-based techniques for fault detection, identification relying on model checking techniques;
- design, implementation and verification methods for real-time component-based systems;
The precise research in the above topics will depend on the candidate interests and qualification which should be a significant subset of the following:
- PhD in CS, EE or Applied Mathematics.
- model-based design and verification of safety-critical systems: formal methods, formal modeling and verification, model-checking, safety, dependability, reliability analysis
- design and implementation techniques for real-time systems: timed models, scheduling algorithms, real-time analysis techniques, performance analysis, real-time operating systems, real-time applications, autonomous systems
- Programming skills in Java, C, C++
Verimag laboratory is situated in Grenoble, a hi-tech center in the French Alps, not far from Lyon, Geneva and Torino. It provides a good and cosmopolite working environment and opportunities to enrich academic and industrial experience, participate in international conferences and meet experts in many aspects of verification and validation of embedded cyber-physical systems.
Interested candidates are invited to send a motivation letter and a CV to Saddek.Bensalem@imag.fr or/and Marius.Bozga@imag.fr