Stage - Logiciel Embarqué et IA - Génération Automatique de Tests H/F - Safran

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 100 000 collaborateurs pour un chiffre d'affaires de 27,3 milliards d'euros en 2024, 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 2024 » du magazine TIME.

Safran Electronics & Defense propose à ses clients des solutions d'intelligence embarquée leur permettant d'appréhender l'environnement, de réduire la charge mentale et de garantir une trajectoire, même en situation critique, ce dans tous les environnements : sur terre, en mer, dans le ciel ou l'espace. La société met les expertises de ses 13 000 collaborateurs au service de ces trois fonctions : observer, décider et guider, pour les marchés civils et militaires.

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.
Safran Electronics & Defense, société de haute technologie, est leader mondial de solutions et de services en optronique, avionique, électronique et logiciels critiques, pour les marchés civils et de défense.
Safran Electronics & Defense développe l'ensemble des systèmes d'électronique embarqués sur les avions et les hélicoptères, civils ou militaires

Rejoignez en tant que stagiaire notre Direction Technique et intégrez la Direction Ingénierie Logicielle, composée de 400 experts passionnés.
Vous contribuerez à la conception des architectures logicielles embarquées qui propulseront nos futurs produits de haute technologie dans les secteurs aéronautique, terrestre et maritime.
Dans un contexte de défis passionnants tels que l'avion décarboné, la cybersécurité aérienne, les architectures des avions et hélicoptères de demain, et les véhicules volants urbains, vous jouerez un rôle clé au sein d'une équipe logicielle dynamique.

Dans le cadre de l'amélioration des processus d'ingénierie logicielle, ce stage s'inscrit dans le projet PACIA, visant à automatiser la génération de tests à partir d'exigences bas niveau (LLR). Une première solution permet déjà d'analyser des exigences, de construire un modèle logique formel et de générer des cas de tests simples.
L'objectif du stage est de faire évoluer cette solution vers un outil exploitable en projet, en rendant les tests générés concrets, lisibles et directement jouables. Le stagiaire contribuera à améliorer la qualité des tests, à analyser la cohérence des exigences via le modèle logique, et à renforcer l'utilisabilité globale de l'outil.
Les travaux porteront notamment sur :l'amélioration de la génération et de la structuration des cas de tests, l'analyse automatique de la qualité des exigences (incohérences, cas manquants), la simplification et l'industrialisation du pipeline pour un usage par des ingénieurs non spécialistes.

Environnement technique : Python, documents Word/Excel/JSON, logique symbolique, modèles IA (approches hybrides IA + symbolique), contexte systèmes embarqués.

Dans un esprit collaboratif, vous êtes acteur-rice et contributeur-rice :
- des choix techniques que vous proposez
- de la conformité des travaux qui vous sont confiés (respect des exigences)
- de la tenue des délais
- de la qualité des réalisations
- du respect des méthodologies de travail, et de l'utilisation des outils
- de reporter au tuteur l'état d'avancement

Un anglais technique est demandé pour cette offre.

Vous êtes actuellement en école d'ingénieur ou DESS/Master orientée logiciel embarqué ou systèmes complexes.

Vous possédez de solides bases en développement logiciel, notamment en Python, et à l'aise avec la manipulation de données structurées (JSON, parsing) et des notions en algorithmique ou modélisation logique.
Un intérêt pour les exigences logicielles, la validation et la génération de tests est un atout.
Des connaissances en IA (symbolique ou LLM), traitement de documents, ou outils de versioning (Git) constituent un plus.

Vous êtes par ailleurs reconnu(e) pour votre autonomie, curiosité technique, et votre rigueur.