NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures using proprietary and industry-leading tools
Job Summary
NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures using proprietary and industry-leading tools.
The role involves developing AI agents and ML models to automate intent-to-assertion workflows and create AI-based debugging assistants for complex chip logic problems.
The engineer will collaborate closely with internal CAD and Design Technology AI teams and act as a leader in AI integration and training for the broader team.
Matching Summary
NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures using proprietary and industry-leading tools.
Skills & Requirements
Must-have
Formal Verification (FV) expertise
AI and Machine Learning tool development
Pre-silicon verification experience
Collaboration with CAD and Design Technology teams
Automation of verification workflows
Nice-to-have
Experience with LLM-based assertion generation
Leadership and team training skills
Debug assistant development using AI
Key Requirements
Bachelor’s or Master’s Degree in Electrical Engineering or Computer Science
7+ years pre-silicon verification experience
Strong foundation in Formal Verification
Experience defining or refining verification infrastructures