Formal Verification Manager

NVIDIA NVIDIA · Semiconductors · Tel Aviv, Israel +1

Lead a team of formal verification engineers responsible for verifying next-generation NVIDIA Networking products and GPU technologies, ensuring design correctness at the highest level for complex digital designs.

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

Nice to have

  • 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

What the JD emphasized

  • managerial experience in a chip design or verification domain
  • formal verification