Internship subject 2026
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
PhD, postdoc
If you are an excellent student looking for a PhD grant or a post-doc grant, do get in touch with me; I might have fundings and, if not, my close colleagues will be interested.