[FM-India] 2-year engineer position at LORIA, Inria & CNRS, Nancy, France

[Étienne André]

*Open engineer position at LORIA, Inria & CNRS, Université de Lorraine, 
Nancy, France.*

Subject: /Building a new input syntax for the IMITATOR parametric timed 
model checker/

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

Duration: 24 months

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 at loria.science, enclosing all necessary documents (CV, list of 
skills and experience if any, possible recommendations, etc.).

Tentative starting date: 1st January 2021
Location: LORIA, Université de Lorraine, Nancy, France

See the full subject and conditions at:
https://www.loria.science/andre/temp/subject-engineer-IMITATOR.pdf

Best,

-- 
Étienne André
Université de Lorraine
https://www.loria.science/andre/