Senior Formal Verification Engineer

NVIDIA is seeking a Senior Formal Verification Engineer to join their Networking team in Beer Sheva, Israel. This role offers an exciting opportunity to work on groundbreaking NIC technologies within their Pre-Silicon design and verification team. The position involves using state-of-the-art formal verification tools and methodologies to ensure design correctness for NVIDIA's world-class CPU interface and offload solutions serving HPC, data-center, network, and storage markets.

The role combines technical expertise in formal verification with hands-on work on cutting-edge design technologies. You'll be part of a team that develops and delivers high-bandwidth ethernet and IB NICs, working with the most sophisticated formal tools and methodologies in the industry. The position offers a versatile work environment that is educational, dynamic, and ambitious.

As a Senior Formal Verification Engineer, you'll be responsible for formally proving the correctness of complex logic problems, collaborating with the Pre-Silicon team on ambitious designs, and contributing to 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's position as a leader in accelerated computing makes this an exceptional opportunity to work on transformative technologies. The company's work in AI and digital twins is reshaping major industries, and this role offers a chance to be part of that innovation. The position combines the stability of working for a global technology leader with the excitement of pushing boundaries in hardware verification and design.