STAGE - Simulation et étude de la robustesse formelle de la sécurité de processeurs RISCV sous fautes de type SEU

Descripción del puesto:

Chez STMicroelectronics, nous sommes convaincus que la technologie est un moteur d'innovation et a un impact positif pour les entreprises, les personnes et la société.
En tant qu'acteur mondial des semiconducteurs, nos technologies de pointe et nos composants électroniques sont invisibles mais au cœur du monde d'aujourd'hui.
Rejoindre ST, c'est intégrer une entreprise internationale riche de plus de 115 nationalités, présente dans 40 pays, et rassemblant plus de 50 000 talents passionnés et engagés, tous unis par la volonté de créer et d'inventer la technologie de demain.
Innover demande bien plus que des compétences techniques : cela nécessite des personnes inspirantes, qui savent collaborer avec respect et enthousiasme. Des collaborateurs animés par la passion, prêts à remettre en question le statu quo, à faire avancer l'innovation et à révéler leur plein potentiel.
Venez vivre cette aventure avec nous et contribuez à construire un futur plus intelligent et plus durable, en alliant responsabilité et innovation.

Notre technologie commence avec vous.
Votre stage se déroulera chez STMicroelectronics à Crolles (Isère) au sein de l'équipe R&D Exploration/Haute Fiabilité, qui étudie la fiabilité des systèmes numériques soumis à des défauts radiatifs, pour une utilisation dans de nombreux domaines avec de fortes contraintes de fiabilité et de sécurité fonctionnelle tels que l'aéronautique, l'espace ou l'automobile.
Pendant ce stage, vous contribuerez au développement et à l'intégration de méthodes et d'outils formels et analytiques pour l'évaluation de la sûreté fonctionnelle des systèmes digitaux. En particulier, l'équipe développe plusieurs méthodes basées sur le modèle checking pour quantifier la fiabilité des systèmes digitaux. Votre stage consistera à appliquer ces méthodes sur différents designs développé en interne, afin d'évaluer ces méthodes et de proposer de potentielle amélioration.
Vous injecterez des fautes simples (Single Event Upsets) dans ces designs en utilisant de puissants simulateurs de fautes industriels et des vérificateurs de modèles, pour étudier sa robustesse sous SEUs. Pour détecter les fautes, vous utiliserez des méthodes formelles basées sur des assertions qui sont, éventuellement, prouvées ou violées par le vérificateur de modèles, soulevant la possibilité qu'une faute dangereuse corrompe le système.
Vous devrez explorer le fonctionnement interne de ces designs ainsi que les méthodes développées en interne afin de déterminer quelle approche est la plus appropriée (minage d'assertions, test d'équivalence, utilisation de modèles, etc.). Vous appliquerez ensuite les méthodes jugées pertinentes pour réaliser une analyse FMEA (Failure Modes and Effects Analysis) des designs étudiés, puis proposerez des schémas de durcissement adaptés à chaque bloc. Enfin, vous formulerez des propositions d'amélioration des méthodes appliquées et les présenterez à l'équipe.
Pendant ce stage, vous
* Travaillerez sur différents designs et leur environnement de simulation matériel et logiciel.
* Réaliserez des injections de fautes par simulation et formelle (Model Checking), en exécutant différents tests et en détectant les bascules les plus fragiles.
* Comparerez les résultats obtenus avec différentes méthodes.
* Travaillerez en collaboration avec d'autres étudiants actuellement en alternance ou en thèse dans l'équipe, afin d'améliorer les méthodes existantes.
Vous serez formé, aidé et supervisé par des ingénieurs seniors et des doctorants sur le sujet en preuve formelle. Ce programme s'adresse aux étudiants ayant un goût prononcé pour l'analyse de fiabilité, les méthodes formelles et les aspects théoriques ainsi qu'un intérêt pour la sureté fonctionnelle des systèmes numériques mais aussi l'application à un cas réel. De plus, vous serez rigoureux dans la conduite des campagnes d'injection de fautes et l'analyse des résultats. La rigueur, la clarté et l'organisation seront des qualités essentielles pour ce stage tout comme la persévérance.
Liste des compétences :
* Obligatoires
* Verilog, SystemVerilog
* Architecture des systèmes numériques, architecture des MPU
* Programmation C/C++ (sous Unix), programmation système (Unix)
* Unix, bash, Python, scripts, tableurs et manipulation de données (Excel)
* Simulation digitale (Xcelium / VCS)
* Synthèse digitale (DC compiler)
* Appréciées
* Théorie des graphes et automates
* Structures de données et algorithmes
* Méthodes formelles, vérification de modèles, SVA
* Sécurité fonctionnelle des systèmes numériques et des SoC
* Sécurité fonctionnelle automobile (ISO26262)
Niveau d'anglais : Anglais technique
Expérience attendue : Stages, projets, TP étudiant en électronique digitale, systèmes embarqués et informatique
ST est fière d'être certifiée parmi les 17 entreprises mondiales « Global Top Employers 2025 » et d'être la première et unique entreprise de semi-conducteurs à recevoir cette distinction. ST a été distinguée dans ce classement grâce à sa démarche d'amélioration continue, se démarquant notamment par son engagement en matière d'éthique et d'intégrité, de sens et de valeurs, d'organisation et de gestion du changement, ainsi que par sa stratégie commerciale et ses performances. En France, ST a également obtenu la labélisation Happy Trainee 2025.
Nous cultivons un environnement de travail inclusif et diversifié, où la discrimination n'a pas sa place. Notre ambition est de recruter et de fidéliser des talents reflétant la richesse des sociétés dans lesquelles nous évoluons.
Nous nous engageons à l'équité dans le développement des carrières, les opportunités professionnelles et la rémunération.
Chez ST, nous encourageons les candidats qui ne remplissent pas forcément tous les critères à postuler, car nous croyons en la richesse des parcours variés et offrons de réelles opportunités d'apprentissage et d'évolution. La diversité, l'équité et l'inclusion sont des valeurs fondamentales qui façonnent notre culture d'entreprise.
Pour découvrir toutes nos opportunités, rendez-vous sur st.com/careers