Ingénieur Vérification Asic R&D ( F/H Recruteur partenaire

Vos missions :

• Acquérir la connaissance de l'architecture et la microarchitecture de l'ASIC en étudiant les spécifications et en interagissant avec les équipes d'architecture et de design logique.
• Rédaction des spécifications de vérification.
• Rédaction des plans de test en étroite collaboration avec l'équipe design logique.
• Développement des environnements de vérification (UVM-SystemVerilog/C++), les tests et les modèles de couverture
• Suivre, analyser et debugger les erreurs de simulation.
• Suivre et analyser les résultats couverture des simulations pour améliorer les tests en conséquence et ainsi atteindre les objectifs de couverture dans les délais impartis.

Votre profil :

• Expérience concrète et réussie à la vérification de SoC/ASIC et IP complexes.
• Experience avec la méthodologie de vérification UVM.
• Expérience en développement d'environnements de vérification Constraint-Random/Coverage-Driven en SystemVerilog/C++ (drivers/ monitors, tests aléatoires contraints, checkers auto-vérifiants et modèle de couverture en SystemVerilog-Covergrourp/SVA) et maitrise de la programmation orientée objet
• Connaissance des outils de simulation et de suivi de couverture
• Efficacité dans la résolution de problèmes par l'identification rapide de leur cause fondamentale et par l'élaboration de correctifs ou contournements.

Bull c'est une histoire. Un siècle d'innovation Européenne et un environnement de travail où des experts conçoivent des solutions numériques puissantes, durables et souveraines, permettant aux États et aux industries de garder la pleine maîtrise de leurs données et de leur IA.

Bull c'est aussi des milliers d'ingénieurs, de chercheurs, de passionnés de tech, façonnant l'avenir du calcul de haute performance, de l'IA et des technologies quantiques.

Chaque jour, nos équipes repoussent les limites du possible - des architectures HPC de nouvelle génération aux supercalculateurs exascale - soutenues par une R&D de rang mondial, plus de 1 600 brevets et des capacités de bout en bout uniques, couvrant la conception matérielle, l'ingénierie logicielle, la data science et la recherche quantique.