Senior Ai Formal Verification Engineer

NVIDIA

Formal verification (fv)
Pre-silicon verification experience
Ai capabilities integration
You will be a key architect in our "AI-for-FV" evolution, working in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence

Job Summary

  • You will be a key architect in our "AI-for-FV" evolution, working in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence.
  • In this role, you will develop and integrate AI agents and ML models that interface with our toolchain to automate "intent-to-assertion" workflows and optimize coverage and convergence.
  • You will act as the authority on AI integration, training the broader team on how to leverage "human-in-the-loop" AI tools and automated methodologies.

Matching Summary

You will be a key architect in our "AI-for-FV" evolution, working in close collaboration with our internal CAD and Design Technology AI teams to enhance our in-house toolset with artificial intelligence.

Skills & Requirements

Must-have

  • Formal Verification (FV)
  • pre-silicon verification experience
  • AI capabilities integration
  • AI agents and ML models development
  • AI-based debug assistants creation

Nice-to-have

  • redefine traditional verification workflows
  • collaboration with CAD teams
  • AI tools for hardware
  • human-in-the-loop AI tools

Key Requirements

  • Bachelor’s or Master’s Degree
  • 7+ years pre-silicon verification
  • strong Formal Verification foundation
  • automation perspective and experience

Work Rights

Not specified

Tailored Resume

Cover Letter