Sujets de stage
Je propose le sujet de stage suivant pour un⋅e étudiant⋅e de Master pour 2026.
Il s’agit d’un stage orienté recherche.
Ce stage est rémunéré (gratification standard).
En fonction de la motivation et du projet professionnel du/de la candidat⋅e, ce stage est susceptible de se prolonger en sujet de thèse de doctorat.
Sujet : Analyses formelles de systèmes temps-réel économes en énergie
Encadrants : Étienne André et Gaëtan Staquet (École Centrale Nantes)
Mots-clés : model checking, systèmes temps-réel, automates temporisés, énergie
Lieu du stage : École Centrale Nantes, France
Voir le sujet du stage