The timed and hybrid systems group at VERIMAG (http://www-verimag.imag.fr) specializes in the verification, simulation and performance evaluation of continuous and hybrid systems. A Post-Doc position is available with Dr. Oded Maler and Dr. Goran Frehse. Candidates should have one or more of the following qualifications :
- background in signals and systems, numerical analysis, dynamical systems ;
- basic understanding of electronic circuits and electronic design automation ; acquaintance with Spice simulations ;
- good algorithmic and programming skills.
The positions are associated with a collaboration between Verimag and ST Microelectronics. The work involves the development and implementation of novel set-based methods to analyze the effect that variations in electronic circuits have on their performance.
For further information, please contact goran.frehse@imag.fr.
