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.