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, 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


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.