Post-Doc: Verification of Electronic Circuits

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:

  1. background in signals and systems, numerical analysis, dynamical systems;
  2. basic understanding of electronic circuits and electronic design automation; acquaintance with Spice simulations;
  3. 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.