STAGE - Planificateur de mission par couplage d'un LLM avec un assistant formel F-H F-H

Published 10.07.2026 Company : Safran Electronics & Defense Job field : Software Location : Eragny-sur-oise , Ile de France , France Contract type : Internship / Student Contract duration : Full-time Required degree : Master Degree Required experience : First experience Professional status : Student Spoken language(s) : English Intermediate # ERA-27-DT-STA-219903 -189434 Published 10.07.2026 **Job Description** ------------------- 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. **Job Requirements** -------------------- ingénieur-e généraliste, É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 **But what else? (advantages, specific features, etc.)** -------------------------------------------------------- Missions du stagiaire État de l'art : Étudier les approches d'intégration LLM-Modulo-Theories (LMT), les langages de planification formelle (PDDL, SMT, LTL) et le protocole MCP. Architecture & Développements MCP : Concevoir et développer un serveur MCP encapsulant un solveur/vérificateur formel (ex: Fast Downward, VAL, Z3). Mettre en place la couche d'agentivité permettant au LLM d'invoquer cet outil de manière structurée. Boucle de rétroaction (Self-Correction) : Implémenter un mécanisme d'auto-correction itératif où les contre-exemples et erreurs renvoyés par le vérificateur servent à corriger dynamiquement la représentation formelle générée par le LLM. Évaluation & Benchmark : Créer un jeu de données de test (missions complexes avec contraintes de sécurité, de temps et de ressources) pour évaluer la fiabilité, le taux d'hallucination résiduel et la convergence du système. Livrables attendus Un serveur MCP fonctionnel intégrant un vérificateur formel de plan. Un pipeline d'agent LLM avec boucle de correction automatique. Un benchmark expérimental démontrant l'élimination des hallucinations sur des scénarios de test. Le rapport de stage et le code source documenté. **Company Information** ----------------------- Safran is an international high-technology group operating in the fields of aerospace (propulsion, equipment and interiors), space and defense. Its mission is to contribute sustainably to a safer world, where air transport becomes ever more environmentally friendly, comfortable and accessible. Present on every continent, the Group employs 110,000 people and generated €31.3 billion in revenue in 2025. Safran holds, either independently or through partnerships, leading global or European positions in its markets. Safran was ranked second in the Aerospace & Defense sector in TIME magazine's ""World's Best Companies 2025"" ranking. Safran Electronics & Defense is an international company with more than 19,000 employees who bring together expertise and team spirit to design high-technology solutions for the aerospace, defense and space sectors. By combining human and technological intelligence, the company develops products and services for both civil and military customers, operating on land, at sea, in the air and in space. ### **Locate your future workplace** 21 avenue du Gros Chene 95610 Eragny-sur-oise Ile de France France