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. {}
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.