CIFRE - Développement et validation de l'automatisation de flots optimisés en vérification statique et formelle de SoC et d'IPs numériques

Description du poste:

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.
Périmètre
* Vérification Statique / Formelle / Semi-Formelle
*CDC-RDC (Clock Domain Crossing - Reset Domain Crossing): vérification des interfaces asynchrones
*Timing: vérifications des contraintes « timing »
*Lint: vérification syntaxique et sémantique du code RTL
*LP: vérification de la stratégie de contrôle des alimentations électriques (Low Power management)
*Dynamic Verification : simulation fonctionnelle

Techniques de l'état-de-lart
*outils d'IA générative: genAI (LLM, Copilot, ChatGPT…)
*outils de vérification formelle
*outils de vérification statique :
* Synopsys: VC-Spyglass Lint/CDC-RDC/Timing/LP, VC-Formal genFV
* Cadence; JasperGold Lint/CDC-RDC, Conformal
* Siemens EDA: Questa Lint/CDC-RDC/LP

Interface
*communauté d'experts de STMicroelectronics (DTIT, MDRF…)
*Université / Laboratoire de recherche
*fournisseurs outils EDA (R&D)

Profil de la Candidate / du Candidat
*maîtrise de l'anglais écrit/oral
*expérience en conception et vérification HW numérique
*expérience en vérification statique et formelle
*capacité à rédiger / présenter des documents techniques
*disponibilité court / moyen terme
*connaissance des infrastructures de STMicroelectronics serait un plus

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