Comment postuler ?
Profil du candidat : Master 2 d’informatique avec une appétence pour les aspects formels et une connaissance en théorie des graphes.
Démarrage : à partir de Janvier 2023
Encadrement : Géraldine Del Mondo (LITIS), Paul Dorbec (GREYC), Pierrick Tranouez (LITIS)
Contact : Géraldine Del Mondo, geraldine.del_mondo@insa-rouen.fr
Gratification: oui
Durée : 6 mois