Senior Formal Verification Engineer

Job Title

Senior Formal Verification Engineer

Role Summary

Verify micro-architecture implementations for high-performance GPUs using formal verification tools and techniques. Work with architects, RTL designers, and pre-/post-silicon verification teams to define verification scope, produce proofs or bounded coverage, and report results.

Experience Level

Senior-level; requires 5+ years of relevant verification or formal-methods experience (per employer guidance).

Responsibilities

Verify complex RTL designs using formal methods and contribute to verification infrastructure and workflows.

• Identify key behaviors and write clear formal verification testplans.
• Implement testplans: develop environment assumptions, assertions, and cover properties.
• Create abstractions and models to reduce complexity and enable full or bounded proofs.
• Drive and tune formal tools for performance and scalability.
• Debug RTL to identify root causes of failing proofs or counterexamples.
• Develop flows and scripts to improve team efficiency and repeatability.
• Report formal verification coverage and results to design and verification partners.

Requirements

Must-have technical skills and attributes; listed concisely.

• Experience with formal verification tools and methodologies.
• Proficient reading and understanding of Verilog/SystemVerilog RTL.
• Familiarity with GPU/CPU microarchitectures and verification workflows.
• Experience implementing abstraction techniques for formal analysis.
• Strong RTL debugging and analytical problem-solving skills.
• Scripting skills (Tcl, Perl, and/or Python) to build flows and automation.
• Clear written and verbal communication; able to collaborate in distributed teams.
• Nice-to-have: experience improving formal flows, developing verification scripts, and working with pre- and post-silicon teams.

Education Requirements

BS, MS, or PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or equivalent practical experience; the posting specifies 5+ years of experience as the experience expectation.

About the Company

Company: NVIDIA

Headquarters: Santa Clara, California, USA

NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.