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

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:
• 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.
• 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.
• 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.
• 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.
• É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