Stage - Synthèse et vérification de propriétés fonctionnelles pour les systèmes embarqués F/H

Thales Group; Meyreuil; On-site; EUR 8,900 - 12,000; Full time

Benefits offered by this job

Gratification selon niveau d’études

Handi-Engagée

Job summary

Thales Group à Meyreuil propose un stage axé sur la conception numérique et la vérification formelle autour d’un processeur open‑source, avec des techniques d’IA et de grands modèles de langage.

Vous développez une méthodologie automatique pour générer des propriétés de vérification à partir d’une source unique et vous l’appliquez, la validez dans le flux de vérification et travaillez sur des projets industriels avec un encadrement expert.

Qualifications

• Diplôme en informatique/électronique ou équivalent Bac+5.
• Bonne maîtrise du flot de conception numérique (RTL) et des architectures de processeur.
• Connaissances en assertions SVA/PSL et vérification formelle.
• Connaissances en IA/générative et aug. grands modèles de langage.
• Connaissances en environnement de simulation UVM.

Responsibilities

• Développer une méthodologie automatique pour générer des propriétés de vérification à partir d’une source unique, cohérente avec le code RTL et la documentation.
• Appliquer cette méthode sur un processeur open‑source et vérifier des composants (CPU, SoC, accélérateurs cryptographiques).
• Réduire le temps, les erreurs et la dérive entre documentation et code dans un contexte industriel intégrant l’IA.
• Concevoir des contrats fonctionnels à différents niveaux d’abstraction depuis l’architecture jusqu’aux modules RTL.
• Prendre en main les langages de propriété et les techniques basées sur les grands modèles de langage, définir la source unique et évaluer l’intégration dans le flux de vérification.

Skills

Conception numérique (RTL)

Assertions SVA/PSL

Architectures de processeur

Vérification formelle

IA générative et grands modèles de语言

Prompting et génération de code

Environnement de simulation UVM

Education

Diplôme en informatique, électronique ou génie informatique, spécialisation en conception numérique ou systèmes embarqués (Bac+5)

Tools

UVM

Job description

Lieu : Meyreuil, France

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d’activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l’environnement et plus inclusif. Le Groupe investit près de 4,5 milliards d’euros par an en Recherche & Développement, notamment dans des domaines clés de l’innovation tels que l’IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 85 000 collaborateurs dans 65 pays.

Nos engagements, vos avantages

• Notre savoir-faire technologique

• Notre attention portée à l’équilibre des collaborateurs

• Un environnement inclusif et bienveillant

• Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)

Votre quotidien

En nous rejoignant à Meyreuil, à proximité d'Aix-en-Provence, vous intégrez un site regroupant l’ensemble des activités de conception de circuits intégrés pour l'identité et et la sécurité numériques.

Lors de ce stage, vous développez une méthodologie automatique pour générer des propriétés de vérification fonctionnelle à partir d'une source unique fiable. Vous appliquez cette méthode sur un processeur open-source, afin de simplifier et fiabiliser la vérification des composants tels que processeurs, SoC ou accélérateurs cryptographiques. L’objectif est de réduire le temps, les erreurs et la dérive entre documentation et code, un problème fréquent dans la conception, particulièrement dans un contexte industriel intégrant l’IA.

Pour ce faire vous avez à :

- concevoir une méthodologie automatique pour générer des propriétés de vérification à partir d’une source unique, cohérente avec le code RTL et la documentation.

Cette source servira à définir des contrats fonctionnels aux différents niveaux d’abstraction, depuis l’architecture (jeu d’instructions) jusqu’aux modules RTL.

Le stage inclut la prise en main des langages de propriété et des techniques basées sur les grands modèles de langage, la définition de la source unique, la génération et la validation des propriétés sur un CPU open-source, ainsi que l’évaluation de l’intégration dans le flux de vérification. Vous gagnez en expertise dans les méthodes formelles et l’IA générative appliquées au matériel, en travaillant sur un projet industriel avec un support expert.

Votre profil

Vous préparez un diplôme dans le domaine informatique, électronique ou génie informatique, avec une spécialisation en conception numérique ou systèmes embarqués ou équivalent de niveau Bac +5 et vous avez de l'expérience sur :

- une bonne maîtrise du flot de conception numérique (RTL),

- des connaissances en assertions SVA/PSL

- une bonne connaissance des architectures de processeur,

Les plus : des connaissances de vérification formelle, des bases d’IA notamment avec de grands modèles de langage (prompting, génération de code), des connaissances en environnement de simulation/UVM.

De la curiosité, de l'autonomie, un attrait pour la recherche dans un contexte qui évolue vite sont des atouts que l’on vous reconnait ?

Alors cette mission est faite pour vous !

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout.