Looking for PhD Candidates
Tempo Team
An Open Phd Position at the Tempo group at VERIMAG, Grenoble
In the framework of the newly started center of excellence Percyval in
Grenoble, the Timed and Hybrid group (Tempo) at VERIMAG is looking for
candidates for a 3-year Phd scholarship starting at September 2013. The
salary (brut) is 1713 Euros per month, medical insurance included. The
candidate will be co-supervised by Dr. Goran Frehse, the chief architect
of the SpaceEx tool and colleagues at the Grenoble Control laboratory
(GIPSA).
Depending on the qualifications of the candidate, the following topics
are proposed:
Automatic controller synthesis for hybrid (discrete-continuous)
systems.
Systematic simulation and parameter-space exploration for ODE models.
Computational geometric methods for control and verification of
continuous and hybrid systems
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 [email protected] before 31/5/13. 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.
--
===========================================================
Oded Maler VERIMAG, Centre Equation, 2, av. de Vignate,
38610 Gieres, France. Phone: +33 (0) 456 52 03 74 Fax: 456 52 03 44
[email protected] http://www-verimag.imag.fr/~maler
===========================================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
