Formal Verification Engineer

NVIDIA is seeking a Formal Verification Engineer to join their Networking team in Tel Aviv. This role is part of the Pre-Silicon design and verification team, focusing on groundbreaking Switch technologies. The position involves working with state-of-the-art formal verification tools and methodologies to ensure design correctness for NVIDIA's Bridge and router solutions serving HPC, data-center, network, and storage markets. The team is responsible for micro-architecting, verifying, and delivering smart, high-bandwidth multi-port switches. NVIDIA boasts some of the most sophisticated formal tools and methodologies in the industry, enabling A0 design tapeouts. The work environment is educational, dynamic, and ambitious, offering exposure to cutting-edge design and technologies. The ideal candidate should have a strong background in electrical/computer engineering or mathematics, with experience in formal verification and digital logic. This role presents an exciting opportunity to contribute to NVIDIA's core technology development and future of HPC and data centers.