Job Offers

Permanent Researchers

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

---

Postdocs

• Causal discovery of extended summary causal graphs for noisy-OR models of event sequences

---

PhD Theses

• Inference of causal models for networks from single observations

---

Master Theses

• Encodings for location graphs
  Proposed by Jean-Bernard Stefani

• I/O types for location graphs
  Proposed by Jean-Bernard Stefani

• Reversibility and compensation in location graphs
  Proposed by Jean-Bernard Stefani

---

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

---