Post-doctoral fellowship
I offer the following research fellowship ("post-doc"). The fellowship is funded (about 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 andre.etienne@lipn13.fr, enclosing all necessary documents (CV, full research record, PhD reports, recommendations, etc.).
Post-doctoral fellowship subject: Monitoring cyberphysical systems with quantities
PI: Étienne André
Keywords: Monitoring, formal methods, model checking, timed systems, parametric systems, hyperproperties
See the full subject
Contact: andre.etienne@lipn13.fr
PhD and Master fundings
I frequently have Master and PhD fundings, and therefore accept applications from excellent students for PhD programme (3 years entirely funded) and research Master internships, notably in the scientific context of formal methods and security.