Formal Verification Manager

NVIDIA
Tel Aviv
Workplace: OnsiteFull timeFunction: Software EngineeringExperience: 5-8 yearsEducation: mastersSkills: ["Leadership","Communication","Problem-solving","Analytical","Debugging"]

Lead and grow a team of formal verification engineers focused on pre-silicon verification of complex digital designs, driving formal verification strategies across multiple projects and collaborating with Architecture, Design, and DV teams to ensure high-quality tapeouts for NVIDIA’s networking and GPU technologies.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
8 months ago

Formal Verification Manager

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 2 hours agoStatus: Live

Job Summary

Lead and grow a team of formal verification engineers focused on pre-silicon verification of complex digital designs, driving formal verification strategies across multiple projects and collaborating with Architecture, Design, and DV teams to ensure high-quality tapeouts for NVIDIA’s networking and GPU technologies.
Location: Tel Aviv
Workplace: Onsite
Employment Type: Full time
Job Function: Software Engineering
Seniority: Manager level

Key Responsibilities

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

Key Requirements

  • •Must have 5+ years of managerial experience in a chip design or verification domain.
  • •Must have 8+ years of overall industry experience in formal verification, functional verification, or RTL design.
  • •Bachelor's or higher degree in Electrical/Computer Engineering, Computer Science, or Mathematics (MSc preferred).
  • •Deep understanding of formal verification concepts, tools, and flows.
  • •Excellent leadership, problem-solving, and communication skills.
Experience:5-8 yearsSemiconductorHardwareGPUNetworking
Education:Master's in Electrical/Computer Engineering, Computer Science, or Mathematics
Skills:LeadershipCommunicationProblem-solvingAnalyticalDebugging
Tech Stack:Formal verificationRTLTestbenchesAssertionsCoverage models

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor