Nvidia Formal Verification Manager 

Israel, Tel Aviv District, Tel Aviv-Yafo 

745721092

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.

What We Need to See:

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

Ways to Stand Out from the Crowd:

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