NVIDIA

Senior AI Formal Verification Engineer

📍 Location
Tel Aviv, Israel
⏰ Job Type
Full-time
📅 Posted
June 06, 2026
Apply Now

Job Description

NVIDIA’s Formal Verification (FV) team is seeking a visionary AI Verification Engineer to join our elite Networking Chip Design group. Our team is unique: we define the infrastructure and drive the methodologies for proving the correctness of the world’s most advanced AI and networking architectures. We operate at the cutting edge, leveraging a sophisticated ecosystem of proprietary in-house formal tools and industry-leading vendor EDA solutions.


In this role, you will be a key architect in our AI-for-FV evolution. You will work in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence. You won't just be using tools; you will be building the brains that sit on top of them—utilizing LLMs and Machine Learning to automate intent-to-proof workflows and debug complex chips with unprecedented speed.


What You’ll Be Doing:
+ In-House Tool Evolution: Partner closely with internal CAD ...

Ready to Apply?

Take the next step in your career - we're hiring now!

Apply for this Position