Senior Formal Verification Engineer

NVIDIA is seeking a Senior Formal Verification Engineer to join their Networking team, focusing on groundbreaking NIC technologies. This role is part of the Pre-Silicon design and verification team, where you'll work with state-of-the-art formal verification tools and methodologies to ensure design correctness. The position offers exposure to cutting-edge design and technologies, working on world-class CPU interface and offload solutions for HPC, data-center, network, and storage markets.

The team is responsible for micro-architecting, verifying, and delivering high-bandwidth ethernet and IB NICs that are among the most widely used in the industry. NVIDIA provides sophisticated formal tools and methodologies that contribute to achieving A0 design tapeouts. The work environment is educational, dynamic, and ambitious, perfect for someone passionate about hardware verification and innovation.

As a Senior Formal Verification Engineer, you'll be at the forefront of ensuring the reliability and correctness of complex hardware designs. The role combines technical expertise with problem-solving skills, requiring both analytical thinking and strong communication abilities. You'll work with a team of experts while having the opportunity to advance your knowledge in communication protocols and hardware implementations.

This position offers the unique opportunity to work with one of the technology industry's leading companies, contributing to products that power everything from high-performance computing to data centers. The hybrid work environment provides flexibility while maintaining collaborative opportunities with talented colleagues.