Team Lead Vérification Asic R&D (F/H)

Every day, our teams push the boundaries of what is technologically possible - from next-generation HPC architectures to exascale supercomputers - supported by world-class R&D, more than 1,600 patents, and unique end-to-end capabilities spanning hardware design, software engineering, data science and quantum research. We are a people-centric, innovation-driven company, where collaboration spans Europe, the Americas and India. We share a common vision of a responsible and sustainable innovation that delivers concrete impact for our customers. Dans le cadre du développement d’ASIC de types contrôleur réseau, routeur, contrôleur de cohérence de cache et processeur à destination des serveurs haut de gamme et haute performance Bull (serveurs « big data » et « exascale »), la mission consiste à participer à la vérification d’un ASIC complexe en utilisant les méthodologies de vérification fonctionnelle « Constraint-Random, Coverage Driven » sous-jacentes au standard de vérification UVM. 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., * Si votre profil correspond aux exigences, notre équipe recrutement vous contactera pour faire connaissance et discuter de l’opportunité ;
• Vous aurez ensuite un ou deux entretiens opérationnels avec le responsable.

• 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., * Un bon relationnel : Excellentes compétences en communication verbale et écrite. Vous savez passer d’une tâche à l’autre et gérer les interruptions ;
• Un esprit d’équipe : Capacité à travailler de manière collaborative avec des équipes. Vous savez travailler au plus près des développeurs tout en gardant votre libre arbitre ;
• Une capacité à switcher du français à l’anglais en temps réel et de manière professionnelle dans le cadre d’animation d’ateliers, de réunions, de rédaction des documents techniques et de comptes-rendus de réunions.

• Télétravail possible à hauteur de 60% du temps de travail ;
• L’accompagnement et suivi de votre évolution professionnelle ;
• Nombreux événements dans des lieux privatisés., * Un package compétitif de rémunération (nombreuses primes : cooptations, projets, etc..) ;
• De beaux locaux spacieux dans le respect de notre politique Green IT, où il fait bon vivre et où l’on a envie de travailler ;
• Mutuelle d’entreprise, compte épargne temps, compte personnel formation ;
• Comité d’entreprise, activités et animation locale ;
• Participation, intéressement et actionnariat salarié.

Bull is a story. One with a century of European innovation and a working environment where experts design powerful, sustainable, and sovereign digital solutions, enabling states and industries to retain full control over their data and their AI.

Bull is also thousands of engineers, researchers and passionate tech people shaping the future of high-performance computing, AI, and quantum technologies.