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

Description de l'offre

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

Détail de l'offre

Informations générales

Entité de rattachement

Safran est un groupe international de haute technologie opérant dans les domaines de l'aéronautique (propulsion, équipements et intérieurs), de l'espace et de la défense. Sa mission : contribuer durablement à un monde plus sûr, où le transport aérien devient toujours plus respectueux de l'environnement, plus confortable et plus accessible. Implanté sur tous les continents, le Groupe emploie 110 000 collaborateurs pour un chiffre d'affaires de 31,3 milliards d'euros en 2025, et occupe, seul ou en partenariat, des positions de premier plan mondial ou européen sur ses marchés.

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.

Référence

ERA-27-DT-STA-219903 -189434

Description du poste

Intitulé du poste

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

Type contrat

Stage

Durée du contrat

6 mois

Statut (CSP)

Etudiant

Temps de travail

Temps complet

Parlons de votre future mission

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.

Mais encore ? (avantages, spécificités, …)

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é.

Parlons de vous

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

Localisation du poste

Localisation du poste

Europe, France, Ile de France, VAL D'OISE (95)

Ville

21 avenue du Gros Chêne 95610 ERAGNY-SUR-OISE

Critères candidat

Niveau d'études min. requis

BAC+5

Niveau d'expérience min. requis

Jeune diplômé-e/Première expérience

Langues

Anglais (Intermédiaire)