[Engineer position 2021-22] Building a new input syntax for the IMITATOR parametric timed model checker

I offer the following engineer position (2 years). The position is funded by Inria (2600€ brut / month + public transportation fees, insurance scheme, access to the Inria canteen…).

If you are an excellent engineer in computer science (with, if possible, one or more skills in software engineering, OCaml programming, Python programming, formal methods…) and wish to apply, please contact me at engineer@loria.science, enclosing all necessary documents (CV, list of skills and experience if any, possible recommendations, etc.).

Tentative starting date: 1st January 2021

Engineer position subject: Building a new input syntax for the IMITATOR parametric timed model checker

PI: Étienne André

Keywords: Software engineering, OCaml programming, Python programming, formal methods, cybersecurity, real-time systems, verification, program analysis, IMITATOR

Location: LORIA, Université de Lorraine, Nancy, France

See the full subject

Contact: engineer@loria.science