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.