Verimag

Post-Doc Positions in the timed and hybrid systems group

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 | Site Map | Site powered by SPIP 3.0.24 + AHUNTSIC [CC License]

info visites 729817