PhD: Timed and Hybrid group (Tempo)

controller synthesis, simulation and parameter-space exploration, control and verification of continuous and hybrid systems

An Open Phd Position at the Tempo group at VERIMAG, Grenoble

The Timed and Hybrid group (Tempo) at VERIMAG, one of the world-wide leading groups in cyber-physical systems, is looking for candidates for a 3-year Phd scholarships starting at September 2016. The salary (brut) is around 1700 Euros per month, medical insurance included.

Depending on the qualifications of the candidate, the possible topics proposed include:

  • Verification, test generation and systematic simulation of continuous and hybrid systems with application to control (avionics, automotive), analog circuits, smart grids and systems biology
  • Specification formalism for continuous and hybrid behaviors based on temporal logics and regular expressions
  • Computational studies of efficient spatial simulation of chemical reactions and other mass action phenomena
  • Other topics in applied theoretical computer science

Motivated candidates with a master’s degree and a solid background in a non-empty subset of computer science, mathematics, control, electrical engineering, signal processing or systems biology, are kindly asked to send (an e-mail with "PhD candidate" in the title) a CV and motivation letter to Oded.Maler@imag.fr Knowledge of French is advantageous but does not constitute a pre-requisite (and courses will be covered by the lab).

The Grenoble area, in addition to the surrounding skiable mountains, features one of Europe’s largest concentrations of academic/industrial research and development with a lot of students and a relatively-cosmopolite atmosphere. You can easily reach Lyon (1 hour), Geneva (1.5 hours), Torino (2 hours), Paris (3 hours by train) and Barcelona (6 hours).

VERIMAG, http://www-verimag.imag.fr is one of the world-wide leading academic labs in verification and model-based design of embedded systems. Its past contributions include model checking (J. Sifakis, Turing Award 2007), the data-flow language Lustre underlying the SCADE programming environment for safety-critical systems, as well as pioneering contributions to the study of timed and hybrid systems and its applications. The TEMPO team is a worldwide leader in the verification of hybrid systems.