[FM-India] Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France

[Madhavan Mukund]

 Date: Thu, 23 Jul 2015 20:33:09 +0200
 From: Goran Frehse <goran.frehse at imag.fr>
 To: fmindia at cmi.ac.in
 Subject: Post-Doc Position at the Hybrid Systems Group at VERIMAG,
          Grenoble, France 
 Reply-To: postdoc-hybrid at imag.fr
 
 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 postdoc-hybrid at imag.fr