Senior Ai Formal Verification Engineer

Invidia

Multiple Locations
Formal verification (fv) expertise
Ai integration in verification tools
Pre-silicon verification experience
NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures

Job Summary

  • NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures.
  • The role involves building AI capabilities on top of proprietary formal verification tools to automate workflows and debug complex chips.
  • The engineer will collaborate closely with CAD and Design Technology AI teams and act as a bridge to ensure end-to-end efficiency from RTL to tapeout.

Matching Summary

NVIDIA’s Formal Verification team defines infrastructure and methodologies for proving correctness of advanced AI and networking architectures.

Skills & Requirements

Must-have

  • Formal Verification (FV) expertise
  • AI integration in verification tools
  • Pre-silicon verification experience
  • Collaboration with CAD and AI teams
  • Automation of verification workflows

Nice-to-have

  • Experience with LLM-based assertion generation
  • Development of AI-based debug assistants
  • Leadership and training in AI tools
  • Next-gen orchestration of ML models

Key Requirements

  • Bachelor’s or Master’s Degree in Electrical Engineering or Computer Science
  • 7+ years hands-on pre-silicon verification experience
  • Strong foundation in Formal Verification
  • Experience defining or refining verification infrastructures

Work Rights

Not specified

Tailored Resume

Cover Letter