Senior Formal Verification Engineer

NVIDIA is seeking a Senior Formal Verification Engineer to join their Networking team in Tel Aviv. This role presents an exciting opportunity to work on groundbreaking Switch and GPU 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 in cutting-edge chip solutions for HPC, AI infrastructures, data-center, network, and storage markets.

The role focuses on formally proving the correctness of complex logic problems and contributing to NVIDIA's next-generation core technology. You'll be working with sophisticated formal tools and methodologies that help achieve A0 design tapeouts, while being part of the team that delivers world-class chip solutions.

This position offers exposure to a wide range of cutting-edge design and technologies at the heart of the AI revolution. You'll be working in a versatile environment that is educational, dynamic, and ambitious, collaborating with some of the most forward-thinking professionals in the industry.

The ideal candidate should have a strong background in chip design with at least 5 years of experience, excellent analytical and problem-solving skills, and strong debugging capabilities. Knowledge of digital logic and previous formal verification experience are particularly valuable. This role offers the opportunity to be part of NVIDIA's mission to build the future of HPC and data centers, working with a diverse team of creative and autonomous engineers.