Formal Verification Manager at NVIDIA

Tel Aviv-Yafo, TA, Israel

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years), Expert & Leadership (9+ years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductors, Networking, AI, HPCIndustries

Requirements

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

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

Skills

Key technologies and capabilities for this role

Formal VerificationRTL DesignFunctional VerificationFormal TestbenchesVerification MethodologiesDigital DesignVerification ToolsFormal Flows

Questions & Answers

Common questions about this position

What education and experience are required for the Formal Verification Manager role?

A BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics is required, along with 5+ years of managerial experience in chip design or verification and 8+ years overall in formal verification, functional verification, or RTL design.

What are the key responsibilities of this position?

You will lead and grow a team of formal verification engineers, define formal verification strategies, collaborate with Architecture, Design, and DV teams, provide technical guidance and mentoring, and own planning and execution of verification deliverables.

What is the work environment like at NVIDIA's Networking team?

This is a fast-paced, innovative environment with a passionate and experienced team using leading formal verification tools and methodologies.

What qualities make a candidate stand out for this role?

Hands-on experience with formal verification, background in developing formal testbenches, assertions, and coverage models, managerial experience in chip design, and a passion for recruiting, leading, mentoring engineers, and building collaborative teams.

Is this a remote position, and what is the location policy?

This information is not specified in the job description.

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free