États-Unis
B&A
NVIDIA
Ingénieur Senior en Vérification Formelle - LPU
États-Unis
Washington, États-Unis · Texas, États-Unis · Florida, États-Unis · Oregon, États-Unis · California, États-Unis
Python
Traduction automatique. Consultez l’original.
À propos du poste
NVIDIA transforme les graphismes informatiques, le jeu sur PC et le calcul accéléré depuis plus de 25 ans. C'est un héritage d'innovation unique, porté par une technologie de pointe et des collaborateurs exceptionnels ! Aujourd'hui, nous exploitons le potentiel illimité de l'IA pour définir la prochaine ère de l'informatique. Une ère où notre GPU sert de cerveau aux ordinateurs, aux robots et aux voitures autonomes capables de comprendre le monde. Accomplir ce qui n'a jamais été fait auparavant exige de la vision, de l'innovation et les meilleurs talents au monde. En tant qu'NVIDIAN, vous évoluerez dans un environnement diversifié et bienveillant où chacun est encouragé à donner le meilleur de lui-même. Rejoignez-nous et découvrez comment vous pouvez avoir un impact durable sur le monde !
En tant qu'Ingénieur Senior en Vérification Formelle chez NVIDIA, vous vérifierez des ASIC développés à la pointe de la technologie à l'aide d'outils de vérification formelle. Vous définirez la portée de la vérification et assurerez l'exactitude. Vous utiliserez des techniques formelles sophistiquées pour obtenir des preuves suffisamment bornées tout en travaillant avec les architectes, les concepteurs et les équipes de vérification pré- et post-silicium pour accomplir vos tâches, ainsi que pour améliorer les méthodologies et les flux de vérification formelle. Vous réaliserez efficacement l'effort de vérification formelle pour l'ensemble du cycle de projet, en livrant des résultats de haute qualité dans les délais impartis, et en communiquant clairement ces résultats à l'équipe.
Vos missions
- Tâche principale : Vérifier des conceptions et fonctionnalités ASIC sophistiquées liées à l'IA avec des méthodes de vérification formelle.
- Collaboration multifonctionnelle : Collaborer avec les équipes d'architecture/RTL pour spécifier les propriétés, résoudre des problèmes de conception complexes et influencer les décisions de micro-architecture.
- Exécution de la vérification formelle : Exploiter et libérer la puissance de la vérification formelle pour vérifier rigoureusement les propriétés critiques de conception et assurer la conformité aux spécifications, ainsi que minimiser les ambiguïtés de spécification.
- Articuler la couverture de la vérification formelle aux partenaires.
- Leadership méthodologique : Développer et mettre en œuvre des environnements et des méthodologies de vérification formelle avancés pour des conceptions ASIC complexes, y compris des flux automatisés pour la scalabilité et l'efficacité.
- Mentorat : Former et coacher les ingénieurs juniors sur les techniques formelles et les processus standard ; aider à la documentation méthodologique/FAQ.
- Soutenir la mise en service et le débogage du silicium en utilisant des méthodes formelles lorsque cela s'applique.
Ce que nous attendons
- BS/MS/PhD ou expérience équivalente en informatique/génie informatique/génie électrique.
- 12+ années d'expérience en vérification ASIC avec 8+ années axées sur les méthodes de vérification formelle.
- Maîtrise des assertions SystemVerilog (SVA) et de la vérification formelle de propriétés.
- Maîtrise d'au moins un outil de vérification formelle populaire dans l'industrie (JasperGold, VC Formal, etc.).
- Bonnes compétences en scripting pour l'automatisation des flux (tcl, python, etc.).
- Bonnes compétences en communication écrite et orale.
- Grande attention aux détails.
Les atouts qui feront la différence
- Succès démontré dans la validation formelle complète pour des conceptions complexes.
- Expertise dans les applications formelles : applications FPV, vérifications d'équivalence séquentielle, vérification de datapaths, etc.
- Compréhension approfondie de l'architecture/conception GPU ou LPU.
Considéré comme l'un des employeurs les plus désirables du monde de la technologie, NVIDIA offre des salaires très compétitifs et un ensemble complet d'avantages sociaux. Alors que vous planifiez votre avenir, découvrez ce que nous pouvons vous offrir, à vous et à votre famille sur nvidiabenefits.com
Vous serez également éligible aux actions et aux avantages sociaux nvidia.com/en-us/benefits/.
#LI-Hybrid
Votre salaire de base sera déterminé en fonction de votre localisation, de votre expérience et de la rémunération des employés occupant des postes similaires. La fourchette de salaire de base est 196,000 USD - 310,500 USD.
Les candidatures pour ce poste seront acceptées au moins jusqu'au juillet 10, 2026.
Cette offre concerne un poste vacant existant.
NVIDIA utilise des outils d'IA dans ses processus de recrutement.
NVIDIA s'engage à favoriser un environnement de travail inclusif et est fier d'être un employeur garantissant l'égalité des chances. Comme nous accordons une grande importance à la diversité de nos employés actuels et futurs, nous ne faisons aucune discrimination (y compris dans nos pratiques d'embauche et de promotion) fondée sur la race, la religion, la couleur, l'origine nationale, le sexe, l'expression de genre, l'orientation sexuelle, l'âge, l'état civil, le statut d'ancien combattant, le statut de handicap ou toute autre caractéristique protégée par la loi.
Plus d’opportunités avec un seul profil
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil