The timed and hybrid systems group at Verimag (http://www-verimag.imag.fr/Tempo,32.html sorry we are busy doing research so we do not have time to maintain it) is one of the leading teams worldwide in verification, simulation and monitoring of continuous and hybrid cyber-physical systems. The research team, consisting of Oded Maler, Thao Dang and Goran Frehse, has made fundamental contributions to the domain conceptually, mathematically and computationally.
We are looking for a responsible and mature post-doc who can contribute to the group activities including tool development, handling industrial case-studies and developing the underlying theoretical foundations. In particular, the candidate should be able to help in the following projects and topics. 1) A project with ST Microelectronics on noise evaluation in analog circuits. 2) Industrial projects with Toyota, United Technologies and Bosch on test generation and falsification for hybrid systems. 3) Application of the reachability tool SpaceEx to power generation and distribution models. The more precise work specification will depend on the candidateís interests and qualification which should be a significant subset of the following: 1) PhD in CS, EE or Applied Mathematics. 2) Acquaintance with Control, Signal Processing, Dynamical systems and Optimization 3) Acquaintance with one of the following application domains: automotive, circuit design, HVAC, power distribution. 4) Knowledge of verification and formal methods: automata, temporal logics, algorithms. 5) Autonomy 6) Programming skills in Java and C++ Verimag laboratory is situated in Grenoble, a hi-tech center in the French Alpes, 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. The salary is in the range of 1900-2200 Euros depending on the candidate experience. The position is for two years with possible extension. It is available immediately but the start date can be adapted to the candidate constraints. Interested candidates are invited to send a motivation letter and a CV [email protected] ---- [[ 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] ]]
