Post-doc dans le groupe systèmes temporisés et hybrides

The timed and hybrid systems group at Verimag is looking for post-doc researchers or research engineers in the following domains :

  • Computational systems biology
  • Verification and simulation of analog circuits
  • Embedded systems development methodologies, in particular stream processing applications on multi-core machines
  • Verification tool development

Candidates with at least two of the qualifications below are asked to send an e-mail to Oded Maler with CV and motivation letter.

Qualifications (two or more required) :

  • PhD in computer science or equivalent
  • Knowledge and experience in verification tools
  • Experience in C/C++ programming
  • Experience in biological modeling
  • Experience in analog circuit simulation tools
  • Administrative competence

Contact | Plan du site | Site réalisé avec SPIP 3.1.12 + AHUNTSIC [CC License]

info visites 1414200