Stagiaire dans le Domaine des Méthodes Formelles Hda Galois Times Omega - Stage H/F
Stage FRANCE
Description de l'offre
Retour
Stagiaire dans le Domaine des Méthodes Formelles Hda Galois Times Omega - Stage H/F
· Direction générale de l'Institut Mines-Télécom
· Île-de-France
· 03 janv., 2026
79,710
Description
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 : https://philippschlehubercaissier.github.io/files/stage\_gwa.pdf Le stage peut avoir lieu à Evry ou Palaiseau Activités - 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 - Présentation et publication des résultats obtenus, y compris - Séminaires et ateliers - Mémoire de master
Date de début
17 déc., 2025
Expérience
1_7
Profil
Formation - 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 - Théorie des automates et algorithmique. - Systèmes de preuve formels. - É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 - Recherche et développement, curiosité et autonomie - Travail d'équipe et collaboration - Créativité Informations complémentaires et candidature - Date limite de candidature : 20 janvier 2026 - Nature du contrat : stage de 6 mois - Localisation du poste: Evry-Courcouronnes (91) ou Palaiseau (91) - Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap - Contact : - Dylan BELLIER, RST, @.** - Philipp SCHLEHUBER-CAISSIER, RST, @.**
Formation
RJ/Qualif/Ingenieur_B5
Secteur
Enseign_forma