Post-doctoral fellowshipI 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 firstname.lastname@example.org, 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
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.