Job offers

 PhD Theses


Master Theses


Apart from the specific topics listed above, we are always looking for highly motivated students to conduct research in the broad area of formal methods for real-time embedded systems.
Feel free to contact Sophie Quinton regarding master thesis, PhD or postdoc opportunities on topics such as:
  • Formal proofs for real-time analysis using Coq
  • Incremental proofs for real-time analysis à la SymTA/S
  • Strategies to deal with deadline misses in a weakly-hard real-time system
  • Multi-viewpoint contract theories for updates of critical embedded systems
Feel free to contact Jean-Bernard Stefani regarding master thesis, PhD or postdoc opportunities on topics such as:
  • Interactive proof assistant support for software architecture modelling
  • Formal models of concurrent and distributed component-based systems
  • Fault-recovery and reversibility in distributed and embedded systems
  • Type systems for dynamic software architectures