AI Agent Development for Verification and Validation of Critical Software Intern

Description du poste

Nous recrutons un(e) Stage - Développement d'agent IA pour la vérification et validation de logiciels critiques pour rejoindre notre Business Unit INDUSTRIE au sein de l’agence Systèmes Embarqués Industriels et Cybersécurisés. Le Pôle de compétence SEIC contribue au développement de systèmes embarqués et industriels à fortes contraintes temps réel et de sûreté de fonctionnement ainsi qu’à leur mise en œuvre opérationnelle intégrant les concepts de sécurité.

Contexte et objectifs

Dans la continuité des travaux de CS GROUP sur l’intégration de méthodes d’IA dans les projets critiques et certifiables, ce stage vise à étudier et développer un framework permettant d’assister et d’orchestrer des workflows métier de Vérification & Validation (V&V) appliqués à des projets DO-178C.

L’objectif sera de formaliser différents scénarios de V&V sous forme de workflows déterministes et traçables, puis d’étudier l’intégration de harnais agentiques capables de déléguer certaines tâches à des agents spécialisés utilisant notamment des LLM, du RAG et des outils métier. Une attention particulière sera portée à la structuration des données échangées entre agents, aux règles de délégation, aux boucles de contrôle et à la conservation des éléments de preuve nécessaires aux activités de V&V.

Vos missions : 

1. Formaliser les workflows métier et les scénarios V&V DO-178C
Analyser les activités de spécification, revue, vérification, test, traçabilité et couverture afin de les formaliser les workflows explicites (étapes, rôles, entrées/sorties, règles métier, critères d’acceptation et points de contrôle). Identifier pour chaque scénario les tâches déterministes et celles pouvant être assistées par l’IA ou une validation humaine.

2. Définir l’architecture du harnais agentique et les mécanismes de délégation
Concevoir une architecture d’orchestration permettant de décomposer un workflow métier en tâches spécialisées et de les déléguer à différents agents, outils ou fonctions déterministes. Définir les règles de déclenchement, de délégation, d’escalade, de validation et de terminaison des boucles agentiques.

3. Structurer les données et le contexte manipulés par les agents
Définir des structures de données intermédiaires, typées et traçables permettant aux agents de manipuler exigences, spécifications, tests, résultats, éléments de couverture, preuves et relations de traçabilité. Mettre en place une représentation de l’état du workflow permettant de conserver le contexte, l’historique des décisions, les artefacts produits et les éléments nécessaires aux itérations successives des agents.

4. Mettre en place les mécanismes de contrôle et de vérification des boucles agentiques
Définir des garde-fous déterministes permettant de vérifier les entrées et sorties des agents avant le passage d’une étape du workflow à la suivante : validation de schémas, règles de cohérence, complétude des données, contrôle de traçabilité et mécanismes de reprise en cas d’échec.

5. Évaluer la robustesse, la traçabilité et l’apport de l’orchestration agentique
Définir un protocole d’expérimentation permettant d’évaluer les workflows selon des métriques de précision, complétude, reproductibilité, traçabilité, taux d’intervention humaine, taux d’échec/récupération des agents et réduction de l’effort V&V. Comparer plusieurs stratégies de délégation et d’orchestration afin d’identifier les architectures adaptées à un contexte de développement de logiciel critique.

Qualifications

Vous êtes étudiant(e) en Bac+5 en école d’ingénieurs ou formation universitaire, avec une spécialisation en informatique, intelligence artificielle, génie logiciel ou systèmes critiques, et vous recherchez un stage de fin d’études.

Vous disposez de bonnes compétences en Python et vous vous intéressez particulièrement à l’IA générative, aux LLM, au RAG, au prompt engineering et aux architectures agentiques. Vous êtes également à l’aise avec les environnements Linux, ainsi qu’avec des outils de développement tels que Git et Docker.

Vous êtes curieux(se), rigoureux(se) et autonome, avec un goût pour l’expérimentation et les problématiques techniques complexes.

Informations supplémentaires

Rejoignez une entreprise où l’humain, l’innovation et l’impact se rencontrent.

Chez CS, nous offrons :

• Une expérience collaborateur enrichissante, portée par un environnement de travail conçu pour favoriser la flexibilité, l’autonomie et le bien-être au quotidien.
• Un parcours d’intégration complet pensé pour embarquer chaque talent dès le premier jour et une Academy pour développer vos compétences, enrichir votre expertise et construire les parcours professionnels qui vous ressemblent.
• Un engagement sociétal fort : plus de 3 000 associations soutenues, une politique handicap active, une culture inclusive, une démarche de numérique responsable, et des partenariats comme Elles bougent pour inspirer les talents féminins de demain.

…et bien d’autres avantages à découvrir en nous rejoignant !

Notre singularité ? L’alliance unique entre expertise technologique, projets critiques et engagement humain. Entreprise innovante et responsable, nous construisons un environnement éthique, inclusif et tourné vers l’avenir. Ouverts à tous les talents, nous croyons que la diversité est une richesse.

Employeur inclusif et engagé, notre société œuvre chaque jour pour lutter contre toute forme de discrimination et favoriser un environnement de travail respectueux. C’est pourquoi, attachés à la mixité et à la diversité, nous encourageons toutes les candidatures et tous les profils.

https://www.soprasteria.fr/nous-connaitre/nos-engagements