Internship subject
I offer the following internship position for highly motivated Master students for 2026.
This is a research-oriented internship subject.
The internship is paid (standard remuneration).
No conditions of citizenship required, so feel free to apply.
Depending on the motivation of the applicant, the internship can lead to a PhD thesis.
If you are interested in this subject, or have any questions, please feel free to contact me.
Subject #1 : Bounded model checking for energy-aware real-time systems
Supervisors: Étienne André and Gaëtan Staquet (École Centrale Nantes)
Keywords: model checking, real-time systems, timed automata, energy
Location: École Centrale Nantes, France
See the internship subject