Ingénieur Senior en Vérification Formelle - LPU

États-Unis

California, United States · Colorado, United States · Oregon, United States · Texas, United States · Washington, United States

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 alimenté par une technologie de pointe et des personnes exceptionnelles. Aujourd'hui, nous exploitons le potentiel illimité de l'IA pour définir la prochaine ère de l'informatique. Une ère où notre GPU agit comme le cerveau des ordinateurs, des robots et des voitures autonomes capables de comprendre le monde. Faire ce qui n'a jamais été fait auparavant demande de la vision, de l'innovation et les meilleurs talents du monde. En tant que NVIDIAN, vous serez immergé dans un environnement diversifié et solidaire où chacun est inspiré à donner le meilleur de lui-même. Rejoignez l'équipe et découvrez comment vous pouvez avoir un impact durable sur le monde.

Êtes-vous prêt à faire partie d'une équipe qui repousse les limites de l'IA et de l'informatique ? Chez NVIDIA, nous valorisons l'innovation, la collaboration et l'excellence. Rejoignez notre équipe exceptionnelle en tant qu'Ingénieur Senior en Vérification Formelle et soyez à l'avant-garde du développement de technologies modernes qui construisent l'avenir. Ce rôle offre une opportunité exceptionnelle de travailler avec des talents de classe mondiale et d'avoir un impact significatif !

Vos missions

Vérifier des conceptions et fonctionnalités ASIC sophistiquées liées à l'IA en utilisant des méthodes avancées de vérification formelle.

Collaborer étroitement avec les équipes d'architecture et RTL pour spécifier les propriétés, résoudre des problèmes complexes de conception et influencer les décisions de micro-architecture.

Appliquer la vérification formelle pour garantir rigoureusement que les propriétés critiques de conception sont conformes aux spécifications et minimiser les ambiguïtés.

Communiquer la couverture de vérification formelle aux partenaires.

Développer des environnements et des méthodologies de vérification formelle avancés pour des conceptions ASIC complexes, y compris la création de flux automatisés pour la scalabilité et l'efficacité.

Soutenir le bring-up et le débogage du silicium en utilisant des méthodes formelles lorsque cela est applicable.

Ce que nous attendons

BS/MS/PhD ou expérience équivalente en informatique/génie informatique/génie électrique.

5+ années d'expérience en vérification ASIC avec 3+ années passionnées par les méthodes de vérification formelle.

Maîtrise des assertions SystemVerilog (SVA) et de la vérification formelle de propriétés.

Expérience avec au moins un outil de vérification formelle populaire dans l'industrie (JasperGold, VC Formal, etc.).

Excellentes compétences dans l'application d'outils d'IA dans le travail d'ingénierie quotidien pour résoudre efficacement les problèmes.

Solides compétences en communication écrite et orale.

Grande attention aux détails.

Pour vous démarquer

Succès démontré dans la validation formelle complète de conceptions complexes.

Expertise dans les applications formelles : applications FPV, vérification de datapaths, etc.

Compréhension approfondie de l'architecture 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/ 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 de 136,000 USD - 218,500 USD pour le niveau 3, et de 168,000 USD - 264,500 USD pour le niveau 4.

Les candidatures pour ce poste seront acceptées au moins jusqu'au 10 juillet 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 personne handicapée ou toute autre caractéristique protégée par la loi.

Langues

Ingénieur Senior en Vérification Formelle - LPU

À propos du poste

Vos missions

Ce que nous attendons

Pour vous démarquer

Continuer à explorer

Ton prochain jobest déjà à ta recherche.

Plus d’opportunités avec un seul profil

Administrateur de Service Desk

Consultant Technique ServiceNow HR Managed Services

Technicien de support informatique