Stage en Méthodes Formelles et Automates (6 mois)

Institut Mines-Télécom; Arrondissement d'Évry; Hybride; EUR 20 000 - 40 000; Plein temps

Résumé du poste

Un établissement d'enseignement supérieur recherche un stagiaire pour un projet de recherche de 6 mois à Evry ou Palaiseau. Le candidat doit être étudiant en master avec une forte base théorique en informatique ou mathématiques. Les missions incluent des recherches sur la théorie des automates et des implémentations. La créativité et la curiosité sont essentielles. Un anglais courant est un atout. Date limite de candidature : 20 janvier 2026.

Qualifications

• Étudiant en master en informatique ou en mathématiques.
• Intérêt pour la théorie des automates et l'algorithmique.
• Anglais courant apprécié.

Responsabilités

• Mener des recherches sur la théorie des automates.
• Implémentations prototypes.
• Présentation des résultats lors de séminaires.

Connaissances

Théorie des automates

Systèmes de preuve formels

Collaboration

Curiosité

Créativité

Formation

M1 terminé, en M2

Description du poste

Un établissement d'enseignement supérieur recherche un stagiaire pour un projet de recherche de 6 mois à Evry ou Palaiseau. Le candidat doit être étudiant en master avec une forte base théorique en informatique ou mathématiques. Les missions incluent des recherches sur la théorie des automates et des implémentations. La créativité et la curiosité sont essentielles. Un anglais courant est un atout. Date limite de candidature : 20 janvier 2026.