Stage - Planificateur de Mission par Couplage d'Un Llm avec un Assistant Formel H/F Safran
- Éragny - 95
- Stage
- 6 mois
- Bac +5
- Industrie Aéronautique • Aérospatial
À noter sur ce job
Vous avez ces compétences ? Cliquez dessus pour les ajouter rapidement à votre profil !
Les missions du poste
Les modèles de langage (LLM) excellent dans la compréhension du langage naturel et sont capables de décomposer des tâches complexes en sous-tâches,
mais souffrent d'hallucinations et de faiblesses logiques qui les rendent inaptes
à la planification autonome de missions critiques (robotique, drones, logistique).
À l'inverse, les vérificateurs formels et planificateurs symboliques garantissent mathématiquement la validité d'un plan, mais manquent de flexibilité face aux requêtes humaines.
Ce stage vise à concevoir une architecture neuro-symbolique où le LLM sert d'interface de traduction et de raisonnement haut niveau, tandis qu'un vérificateur formel (interfacé via le protocole open source MCP - Model Context Protocol)
fait office de garde-fou déterministe pour garantir des plans 100% exempts d'hallucinations.
Le profil recherché
Étudiant(e) en Master 2 ou dernière année d'École d'Ingénieur (Informatique, IA, Robotique).
Compétences requises :
Solides bases en Python et architectures logicielles modernes (JSON, REST, ...).
Connaissances en IA Générative / LLM (Frameworks d'agents, Prompt Engineering).
Notions en IA Symbolique / Logique (PDDL, SAT/SMT, graphes ou vérification de modèles).
Aptitudes : Autonomie, rigueur scientifique, attrait pour le couplage neuro symbolique.
Informations pratiques
Durée : 6 mois (Début souhaité : Février)
Qualités requises : Rigueur et capacité d'organisation, esprit d'analyse et de synthèse, aisance relationnelle et communication, autonomie, force de proposition et capacité à travailler en équipe
Contraintes particulières liés au poste : Résultats du stage confidentiel entreprise
Bienvenue chez Safran
Safran est la 2ème entreprise du secteur aéronautique et défense du classement « World's Best Companies 2025 » du magazine TIME.
Safran Electronics & Defense est une entreprise internationale de plus de 19 000 collaboratrices et collaborateurs, qui mobilisent expertises et esprit de corps pour concevoir des solutions de haute technologie dans les domaines de l'aéronautique, de la défense et du spatial. En combinant intelligence humaine et technologique, l'entreprise développe des produits et services pour les acteurs du monde civil et militaires, sur terre, en mer, dans le ciel et dans l'espace.
Parce que nous sommes persuadés que chaque talent compte, nous valorisons et encourageons les candidatures de personnes en situation de handicap pour nos opportunités d'emploi.
La carte
21 Avenue du Gros Chêne
95610 Éragny
Publiée le 07/10/2026 - Réf : ERA-27-DT-STA-219903 -189434
