Senior AI Formal Verification Engineer

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 ...