Job Offers

Permanent Researchers

SPADES is hiring permanent researchers through the INRIA competitive selection. Please contact us for more information.


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

Comments are closed.