Manager, Formal Verification

NVIDIA

China, Shanghai permanent

Posted: May 20, 2026

Required Skills

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

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.

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

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.

At NVIDIA, we believe that our people are our greatest strength. Are you a creative and driven engineering leader who’s ready to take on the challenge of ensuring correctness in the most complex chips in the world? Join us and be a part of building the future of accelerated computing

Why Apply Through MisuJob?

AI-Powered Job Matching: MisuJob uses advanced artificial intelligence to analyze your skills, experience, and career goals. Our matching algorithm compares your profile against thousands of job requirements to find positions where you have the highest chance of success. This saves you hours of manual job searching and ensures you only see relevant opportunities.

One-Click Applications: Once you create your profile, applying to jobs is effortless. Your resume and cover letter are automatically tailored to highlight the most relevant experience for each position. You can apply to multiple jobs in minutes, not hours.

Career Intelligence: Beyond job matching, MisuJob provides valuable career insights. See how your skills compare to market demands, identify skill gaps to address, and understand salary benchmarks for your experience level. Make data-driven decisions about your career path.

Frequently Asked Questions

How do I apply for this position?

Click the "Register to Apply" button above to create a free MisuJob account. Once registered, you can apply with one click and track your application status in your dashboard.

Is MisuJob free for job seekers?

Yes, MisuJob is completely free for job seekers. Create your profile, get matched with jobs, and apply without any cost. We help you find your dream job without any hidden fees.

How does AI matching work?

Our AI analyzes your resume, skills, and experience to understand your professional profile. It then compares this against job requirements using natural language processing to calculate a match percentage. Higher matches mean better fit for the role.

Can I apply to jobs in other countries?

Absolutely. MisuJob features jobs from companies worldwide, including remote positions. Filter by location or look for remote opportunities to find jobs that match your preferences.

Ready to Apply?

Join thousands of job seekers using MisuJob's AI to find and apply to their dream jobs automatically.