Canada
TMS LLC
NVIDIA
Ingénieur Senior en Vérification Formelle - LPU
Canada
Canada
Python
Traduction automatique. Consultez l’original.
À propos du poste
NVIDIA transforme le graphisme informatique, 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 dans laquelle 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 membre de l'équipe, vous serez immergé dans un environnement diversifié et solidaire où chacun est inspiré à 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.
Ce que vous ferez
- 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.
- Communiquer 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.
Prérequis
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.
Pour vous démarquer
- 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 nvidiabenefits.com.
Vous serez également éligible à des actions et à des avantages sociaux nvidia.com/en-us/benefits/.
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 195,000 CAD - 245,000 CAD.
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.
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