Distinguished Engineer - Formal Verification

Distinguished Engineer In Formal Verification

NVIDIA has continuously reinvented itself over two decades. Our invention of the GPU in 1999 sparked the growth of the PC gaming market, re-defined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep-learning ignited modern AI — the next era of computing. NVIDIA is a "learning machine" that constantly evolves by adapting to new opportunities that are hard to solve, that only we can tackle, and that matter to the world. This is our life's work, to amplify human imagination and intelligence.

The ASIC Hardware Engineering team at NVIDIA is looking for a Distinguished Engineer in Formal Verification to work on some of the most complex verification challenges in advanced computing, graphics and networking chips. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence.

What you'll be doing:

• Serve as a key technical leader driving Formal Verification roadmap across multiple projects, defining critical metrics, gathering requirements and addressing complex technical challenges.
• Drive technical innovation and strategic collaborations to improve verification efficiency and effectiveness across CPU, GPU and SoC chips.
• Develop and drive adoption of new methodologies and best practices in Formal Verification.
• Make crucial technical decisions in ambiguous situations, managing risks and keeping commitments and deliverables on track.

What we need to see:

• Deep expertise in Formal Verification with proven track record in taking on complex verification challenges in advanced CPU, GPU and SoC chips.
• Demonstrated success in leading complex projects to completion, showcasing the ability to influence and achieve results without direct authority in collaborative environments.
• B.Tech. or M.Tech. degree in Computer Science, Electrical Engineering or related field.
• At least 18 years of relevant experience.

Ways to stand out from the crowd:

• Proficiency in scripting to automate tasks.
• Experience in using Generative AI to improve efficiency and accelerate workflows.
• Excellent analytical and problem-solving skills.
• Strong interpersonal and stakeholder management skills.

With competitive salaries and a generous benefits package, NVIDIA is widely considered to be one of the technology world's most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to outstanding growth, our engineering teams are rapidly growing. If you are a creative and autonomous engineer with a real passion for technology, we want to hear from you. Make the choice, join our diverse team today!