Formal Verification Manager

We are now looking for a Formal Verification Manager to join our NVIDIA Networking team!

As a Formal Verification Manager in NVIDIA’s Networking Business Unit, you will lead a team of highly skilled formal engineers responsible for verifying the next generation of NVIDIA’s cutting-edge Network products and GPU technologies.

This is a unique opportunity to make a real impact at the heart of NVIDIA’s AI and HPC revolution, while working in a fast-paced, innovative environment.

You will be part of a passionate and experienced team using leading formal verification tools and methodologies to ensure design correctness at the highest level. Your work will influence key architectural decisions and help deliver world-class silicon solutions for data centers, high-performance computing, networking, and storage applications.

What You’ll Be Doing

• Lead and grow a team of formal verification engineers focused on pre-silicon Formal verification of complex digital designs.
• Define and drive formal verification strategies and methodologies to prove the correctness of designs across multiple projects.
• Collaborate closely with Architecture, Design, DV teams to identify verification needs and drive closure.
• Provide technical guidance, mentoring, and support to engineers in the team.
• Own the planning and execution of formal verification deliverables to ensure high quality and timely tapeouts.
  
  

• BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics.
• 5+ years of managerial experience in a chip design or verification domain.
• 8+ years of overall industry experience in formal verification, functional verification, or RTL design.
• Deep understanding of formal verification concepts, tools, and flows.
• Excellent leadership, problem-solving, and communication skills.
• Strong analytical and debugging abilities.
  
  

• Hands-on experience with formal verification
• Background in developing formal testbenches, assertions, and coverage models.
• Managerial experience in chip design domain
• A passion for recruiting , leading , mentoring engineers and building strong, collaborative teams.