Formal Verification Engineer

NVIDIA is seeking a Formal Verification Engineer to join their Networking team in a role that combines cutting-edge technology with hardware verification. This position offers an opportunity to work with state-of-the-art formal verification tools and methodologies in proving design correctness for NIC technologies. The role is part of a Pre-Silicon design and verification team that delivers world-class CPU interface and offload solutions for HPC, data-center, network, and storage markets.

The position involves working with sophisticated formal tools and methodologies that help achieve A0 design tapeouts. You'll be part of a team that micro-architects, verifies, and delivers high-bandwidth ethernet and IB NICs that are among the most widely used in the industry. The work environment is versatile, educational, dynamic, and ambitious, perfect for someone looking to grow their career in hardware verification.

As a Formal Verification Engineer, you'll be exposed to a wide range of cutting-edge designs and technologies, working directly with the Pre-Silicon team to develop NVIDIA's next generation core technology. The role requires strong analytical and problem-solving skills, with opportunities to advance expertise in communication protocols and hardware implementations.

NVIDIA offers a unique environment where creative and autonomous engineers can thrive, contributing to the future of HPC and data centers. The position is ideal for recent graduates or early-career professionals with a strong foundation in electrical/computer engineering or mathematics who are eager to apply their skills in a practical, innovative setting.