Formal Verification Engineer - New College Grad 2026
NVIDIAJob Title
Formal Verification Engineer - New College Grad 2026
Role Summary
As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of industry-leading GPUs. This role involves verifying micro-architecture using formal verification tools and ensuring design correctness throughout the project cycle.
Experience Level
Entry-level; targeted for new college graduates in 2026.
Responsibilities
Your responsibilities will include:
- Identify key behaviors for verification to write clear test plans for complex designs.
- Execute test plans using the latest formal techniques, including developing environment assumptions, assertions, and coverage properties.
- Develop abstraction models to overcome complexity challenges and obtain full or bounded proofs.
- Drive tools to realize best performance.
- Debug RTL to identify causes of failures.
- Contribute to flow and script development for team efficiency.
- Articulate formal verification coverage of the design to partners.
Requirements
Must-have qualifications include:
- BS/MS/PhD or equivalent in CS/CE/EE/Mathematics.
- Understanding of GPU/CPU architectures and designs.
- Analytical skills for solving complex problems.
- Knowledge of formal verification methodologies.
- Hands-on experience with Verilog/System Verilog HDLs and temporal logic assertions.
- Excellent scripting skills in TCL, Perl, and Python.
- Experience with JasperGold and VC-Formal tools.
- Strong interpersonal skills for effective collaboration.
Education Requirements
BS/MS/PhD or equivalent experience in Computer Science, Computer Engineering, Electrical Engineering, or Mathematics.
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.
