Poste : Description de la mission : Au sein de l'équipe Vérification & Validation de la Business Unit (BU) Instrumentation et Contrôle-Commande (I&C), le sujet de stage s'inscrit dans un projet plus large visant à concevoir un modèle puis un outil d'aide à l'automatisation des tâches de tests (conception, vérification), à partir des spécifications du système, en s'appuyant sur des modèles d'intelligence artificielle et du génie logiciel. Dans l'idéal, le stage se poursuivra sur une thèse CIFRE. Les objectifs de ce stage sont les suivants : Comprendre et formaliser, à travers les cas concrets de l'étude, les différentes étapes d'ingénierie système depuis l'analyse des exigences clients, l'élaboration des spécifications systèmes de haut niveau et plus détaillées et jusqu'à l'écriture des procédures de tests détaillées et l'exécution puis l'analyse des tests. Amorcer la formalisation d'une approche basée sur l'intelligence artificielle qui sera mise en oeuvre dans le cadre de la thèse. Implémentation (stage) : une étape de vérification manuelle consiste à analyser les rapports de tests de validation fournis à la fin d'une campagne (fichiers pdf), et à catégoriser les erreurs obtenues : o Détection des zones du rapport contenant des différences entre l'oracle et la simulation / l'exécution sur baie de tests. o Pour ces erreurs, décider si ce sont des vraies ou des fausses erreurs (faux positifs). Dans ce cas, l'algorithme classifie le faux positif par un codage. Etudier la possibilité d'inclure de l'apprentissage dans cet algorithme, à partir de cas déjà traités. Cette partie pratique consiste bien en l'implémentation de ces deux étapes distinctes de la vérification, faites aujourd'hui manuellement. Les données permettant de classifier automatiquement les erreurs en vrais ou faux positifs sont présentes dans d'autres documents. Profil : La partie complémentaire, qui pourra être initiée pendant le stage, consistera à : Identifier les données pertinentes à extraire des documents pour générer les procédures de test; Sur un cas d'étude simple, écrire les procédures de test à partir des spécifications fournies; Identifier les limites de la procédure manuelle et identifier les techniques d'intelligence artificielle et de génie logiciel permettant une génération fiable et efficace des procédures de test. Le stage sera basé à Grenoble au sein d'un établissement soumis à enquête administrative. Vous êtes en école d'ingénieurs ou équivalent universitaire avec une spécialisation dans le domaine de l'intelligence artificielle ou du génie logiciel avec une appétence pour l'IA. Vous êtes autonome, curieux(se), pourvu(e) d'une très bonne capacité d'analyse, orienté(e) résultat et disposez d'un bon relationnel. Votre Anglais est courant à l'oral comme à l'écrit Vous envisagez de poursuivre vos études dans le cadre d'une thèse. Entreprise : Chez Framatome, filiale d'EDF, nous concevons et fournissons des équipements, des services, du combustible, et des systèmes de contrôle-commande pour les centrales nucléaires du monde entier. Nos 18 000 collaborateurs permettent chaque jour à nos clients de produire un mix énergétique bas-carbone toujours plus propre, plus sûr et plus économique. Nos équipes développent également des solutions pour les secteurs de la défense, de la médecine nucléaire et du spatial. Implantée dans une vingtaine de pays, Framatome rassemble les expertises d'hommes et de femmes passionnés et convaincus que le nucléaire est une énergie d'avenir. Entreprise responsable, nous développons des actions pour former et accompagner les premières expériences professionnelles (label Happy Trainees), intégrer tous les talents, dont les personnes en situation de handicap, oeuvrer pour l'égalité professionnelle et la mixité de nos métiers (94/100 à l'index de l'égalité hommes-femmes) et concilier les temps de vie. Pour suivre notre actualité, retrouvez-nous sur , Instagram et X.
