[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