Eviden regroupe les activités Digital, Cloud, Big Data et Sécurité d’Atos et sera un leader international d’une transformation numérique fiable, durable et basée sur les données. Acteur clé du numérique de prochaine génération et leader mondial du cloud, du calcul avancé et de la sécurité, Eviden fera bénéficier de son expertise l’ensemble des secteurs d’activités, dans plus de 53 pays. L'orchestration de technologies de pointe sur l'ensemble du continuum numérique, combinée à l’expertise de ses 57 000 talents, permettra à Eviden d'étendre le potentiel des solutions à la disposition des entreprises et des autorités publiques, contribuant ainsi à façonner leur avenir numérique. Au sein du groupe Atos, le chiffre d'affaires annuel des activités d’Eviden est d'environ 5 milliards d'euros. 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. 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. Vos compétences personnelles :  * 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. Pourquoi nous rejoindre : * Un plan d'accès aux formations sur mesure et certifiantes ; * Télétravail possible à hauteur de 60% du temps de travail ; * L’accompagnement et suivi de votre évolution professionnelle ; Mais Aussi... * 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 ;