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 looking for a Formal Verification Engineer for our NVIDIA Networking team!
This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch technologies. We deploy state-of-the art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting edge design and technologies. Our Switch team delivers world class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic and ambitious.
What You'll Be Doing
What We Need To See
Ways To Stand Out From The Crowd
NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers.
JR1997708