Missions
Le projet de stage vise à rassembler des travaux récents sur les automates pondérés oméga-réguliers et sur les jeux Galois.
Une description détaillée du sujet est disponible ici :
Le stage peut avoir lieu à Evry ou Palaiseau
Activités
1. Mener des recherches sur la théorie des automates et les démonstrations formelles
participation régulière aux réunions de recherche (Méfosylome)
Travail conjoint dans une équipe de recherche
Implémentations prototypes
2. Présentation et publication des résultats obtenus, y compris
Séminaires et ateliers
Mémoire de master
Formation
3. M1 terminé, niveau M2 en cours (stage final de 6 mois)
Compétences, connaissances et expériences indispensables
Le projet concerne l'informatique théorique et les implémentations.
Nous recherchons donc un étudiant en master en informatique ou en mathématiques éventuelles avec une base théorique et un intérêt pour
4. Théorie des automates et algorithmique.
5. Systèmes de preuve formels.
6. Éventuellement des implémentations
Compétences, connaissances et expériences souhaitables
Des projets de recherche ou stages précédents peuvent renforcer la candidature
Un anglais courant est apprécié
Capacités et aptitudes
7. Recherche et développement, curiosité et autonomie
8. Travail d'équipe et collaboration
9. Créativité
Informations complémentaires et candidature
10. Date limite de candidature : 20 janvier 2026
11. Nature du contrat : stage de 6 mois
12. Localisation du poste: Evry-Courcouronnes (91) ou Palaiseau (91)
13. Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap
14. Contact :
Dylan BELLIER, RST,
Philipp SCHLEHUBER-CAISSIER, RST,
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.