
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.
Company: NVIDIA
Core focus: Accelerated computing and AI infrastructure (GPUs, data center and AI systems, edge/robotics, automotive)
Founded: April 1993
Public company / Investor relations: Maintains an active investor relations portal with quarterly results and presentations
High-performance graphics, machine learning/AI acceleration, and full-stack AI infrastructure for enterprise, cloud and edge use cases.
1993
Semiconductors / AI infrastructure
Historical financing and IPO-related information are documented on financial profiles; NVIDIA also deploys strategic investments in startups (examples reported)
$2B
Reported $2B investment to support CoreWeave's AI compute expansion
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
66,000+
Open Roles
1,500+
New This Week