Stage - Développement d’agents IA pour la Vérification et Validation de logiciels critiques - Industrie - Toulouse

Location: Toulouse, Occitanie, fr Department: Engineering, Development, Applications Employment Type: {'id': 'intern', 'label': 'Intern'}

Description de l'entreprise

CS, filiale du groupe Sopra Steria, est un acteur technologique de référence dans la conception, l’intégration et l’exploitation de systèmes critiques. Présents dans 7 pays avec plus de 2 600 collaborateurs passionnés, nous intervenons au cœur des enjeux de souveraineté, de sécurité et de performance, dans des secteurs stratégiques tels que la défense, le spatial, l’énergie, l’industrie, le transport, l’aéronautique et la cybersécurité.

Notre différence ? Une expertise unique en systèmes temps réel, des solutions souveraines et durables, et une culture d’innovation forte, portée par 15 % de notre chiffre d’affaires investi en R&D. Nous accompagnons nos clients dans la réussite de leurs programmes les plus complexes, du contrôle aérien à la lutte anti-drones, en passant par les systèmes nucléaires et les centres de contrôle satellites.

En rejoignant CS, vous intégrez une entreprise humaine et innovante.

Nous livrons bien plus que des systèmes, nous bâtissons la confiance.

Nous allons au-delà des besoins exprimés, nous préparons les défis de demain.

Plus que de simples experts, nous façonnons l’innovation.

Engagés à vos côtés, au service de vos enjeux critiques.

Accélérer la transformation industrielle, en toute sécurité.

Notre Business Unit Industrie accompagne les leaders des secteurs de l’aéronautique, de l’énergie et du transport dans la conception, la sécurisation et l’optimisation de leurs systèmes critiques.

Avec plus de 700 collaborateurs en France et en Amérique du Nord, elle mobilise une expertise reconnue permettant la réalisation de projets innovants dans les domaines des systèmes embarqués, de la simulation numérique, de la cybersécurité, de la data intelligence et de la digitalisation des processus industriels.

Rejoindre cette Business Unit, c’est transformer l’industrie avec des solutions à fort impact.

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 enviro