Senior Formal Verification Engineer

Join NVIDIA’s Pre-Silicon design and verification team for next-generation NIC technologies. You will use formal verification algorithms and state-of-the-art methodologies to prove the correctness of complex logic, collaborating with the broader Pre-Silicon team on ambitious designs. The role focuses on communication protocols and hardware implementations, helping drive A0 design tapeouts for high-bandwidth Ethernet and IB networking solutions.