# Manager, Formal Verification

**Company**: NVIDIA
**Location**: Shanghai
**Work arrangement**: onsite
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/China-Shanghai/Manager--Formal-Verification_JR2018342-1?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_79f74c16-c6c

## Description

We are now looking for a Formal Verification Manager to join our NVIDIA Networking team. As a Formal Verification Manager in NVIDIA's Networking Business Unit, you will lead a team of highly skilled formal engineers responsible for verifying the next generation of NVIDIA's cutting-edge Network products and GPU technologies.

This is a unique opportunity to make a real impact at the heart of NVIDIA's AI and HPC revolution, while working in a fast-paced, innovative environment. 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.

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

**Requirements:**

- BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics.

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

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

## Skills

### Required
- Formal Verification
- RTL Design
- Functional Verification
- Chip Design
- Leadership
- Problem-Solving
- Communication
- Analytical
- Debugging

### Nice to have
- Hands-on Experience with Formal Verification
- Developing Formal Testbenches
- Assertions
- Coverage Models
- Managerial Experience in Chip Design Domain

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/China-Shanghai/Manager--Formal-Verification_JR2018342-1?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)