Stage: Vérification fonctionnelle IA pour systèmes embarqués

Thales Group; Meyreuil; Sur place; EUR 8 900 - 12 000; Plein temps

Avantages offerts par ce poste

Gratification selon niveau d’études

Handi-Engagée

Résumé du poste

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.

Responsabilités

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

Connaissances

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

Formation

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

Outils

UVM

Description du poste

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.