
Leading supplier of end-to-end high speed Ethernet and InfiniBand intelligent interconnect solutions and services.

Leading supplier of end-to-end high speed Ethernet and InfiniBand intelligent interconnect solutions and services.
Founded: 1993
Headcount (approx.): 42,295
Core focus: GPUs, AI computing platforms, systems, and software
Notable software: CUDA, Omniverse
High-performance computing, AI infrastructure, graphics rendering, networking for data centers, and industrial/autonomous systems.
1993
Semiconductors / AI compute / Software platforms
$2 billion
Investment in CoreWeave to expand AI compute capacity.
$5 billion
Purchase of an equity stake in Intel as part of a collaboration.
$500 million - $1 billion (reported)
Reported investment in Poolside as part of a larger funding round.
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. - 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. 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
Your next opportunity is in here somewhere. Sign up to explore 52,000+ startups and their open roles. No spam. No gamification. Just jobs.
52,000+
Startups
58,000+
Open Roles
2,200+
New This Week