Stage 6 mois - Logiciel embarqué et IA / Génération automatique de tests F/H
Présentation
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.
Stage – Direction Technique – Direction Ingénierie Logicielle
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.
Projet PACIA – Génération de tests automatisée
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.
Responsabilités
- 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
Qualifications
- Actuellement en école d'ingénieur ou DESS/Master orientée logiciel embarqué ou systèmes complexes.
- 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.
- Rigueur, autonomie et curiosité technique reconnues.
- Un anglais technique est requis.