Engineer position

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

Post-doctoral fellowship

I offer the following research fellowship ("post-doc"). The fellowship is funded (2400€ net / month + public transportation fees, insurance scheme…).

If you are an excellent PhD graduate in formal methods and wish to apply, please contact me at postdoc.promis@lipn13.fr, enclosing all necessary documents (CV, full research record, PhD reports, recommendations, etc.).

Post-doctoral fellowship subject: Detecting timing attacks using formal methods

PI: Étienne André

Keywords: Formal methods, cybersecurity, verification, opacity, cryptography, program analysis

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

See the full subject

Contact: postdoc.promis@lipn13.fr

PhD and Master fundings

I also frequently have Master and PhD fundings, and therefore accept applications from excellent students for PhD programme (3 years entirely funded) and research Master internships, in the same scientific context (formal methods and security) as the aforementioned post-doc subject.