Nvidia Senior Formal Verification Engineer 

United States, California 

281521493

Identify key behaviors for verification to write clear testplans for complex designs.

Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.

Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.

Develop AI agents which can process large codebase and waves failures to help in coding and debugging tasks.

Collaborate with FV engineering teams to understand their specific needs and challenges and ensure our agent platform is well-suited to these needs.

Develop and optimize retrieval and generation algorithms for enterprise data (text, code, and images) to build advanced AI applications.

Integrate AI-driven optimizations into existing formal tools and flows.

Articulate formal verification coverage of the design to partners.

Lead with purpose and maintain high-quality engineering practices that inspire others to achieve excellence.

BS/MS/PhD or equivalent experience inCS/CE/EE/Mathematics.

5+ years of formal verification of GPU / CPU designs.

Solid understanding of GPU/CPU architectures and designs.

Able to implement abstraction techniques for effective verification.

Strong proficiency in agentic LLM Libraries/ Technologies like LangChain, LangGraph, AutoGen, CrewAI, RAGs, vector databases, prompt engineering, knowledge graphs, etc.

Strong analytical skills to solve complex problems.

Knowledge of formal verification methodologies and techniques.

Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.

Preferable experience with Formal Verification Tools (e.g., Jasper, VC Formal)

Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.