Stage - Synthèse et vérification de propriétés fonctionnelles pour les systèmes embarqués F/H Thales
Solutions technologiques pour un avenir sûr et durable.
Traineeship
Meyreuil
Remote: Not specified
Salary: Not specified
Skills we're looking for
Functional programming
You'll be part of
80000 employees
Software
Cyber Security
Aeronautics / Space
Founded in 2000
Revenue: 19Mds€
Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part.
L’intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales.
Chez Thales, tout commence par l’Intelligence Humaine. C’est pourquoi notre ambition est de vous offrir la meilleure « expérience » possible. Nous nous efforçons de mettre en place les conditions de votre développement, de faciliter votre quotidien, votre équilibre vie personnelle - vie professionnelle, et d’étendre vos perspectives.
Un savoir-faire technologique au service de la société.
Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d’une centaine de disciplines, de l’optique à la physique quantique, du traitement du signal à la connectivité et à l’intelligence artificielle. Rejoindre Thales, c’est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C’est donc être au cœur d’une formidable aventure technique.
Une attention portée à l’équilibre des collaborateurs au service de leur réussite.
C’est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d’accorder la flexibilité nécessaire à l’équilibre entre vie professionnelle et vie personnelle. Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons.
Des parcours professionnels riches.
Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire. C’est aussi la possibilité d’évoluer, de changer de fonction ou d’activité, voire de pays.
You'll be working on
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. Postulez et rejoignez nous !
