Manager, Formal Verification

NVIDIA NVIDIA · Semiconductors · Shanghai, China

Manager for a formal verification team at NVIDIA, focusing on pre-silicon verification of complex digital designs for networking products and GPU technologies. The role involves leading a team, defining verification strategies, collaborating with other engineering teams, and ensuring the correctness of designs for data centers, HPC, networking, and storage applications.

What you'd actually do

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

Skills

Required

  • BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics
  • Managerial experience
  • Industry experience in formal verification, functional verification, or RTL design
  • Formal verification concepts, tools, and flows
  • Leadership skills
  • Problem-solving skills
  • Communication skills
  • Analytical skills
  • Debugging abilities

Nice to have

  • Hands-on experience with formal verification
  • Developing formal testbenches, assertions, and coverage models
  • Managerial experience in chip design domain
  • Recruiting, leading, mentoring engineers and building strong, collaborative teams

What the JD emphasized

  • 3+ 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