Formal Verification Engineer - New College Grad 2026
NVIDIAJob Title
Formal Verification Engineer - New College Grad 2026
Role Summary
Verify GPU micro-architecture designs using formal verification techniques. Work with architects, designers, and pre- and post-silicon verification teams to define verification scope, develop formal proofs, and deliver verification results across the project cycle.
Experience Level
Entry-level (new college graduate). Suitable for candidates at or near graduation; typically 0–2 years of relevant experience.
Responsibilities
Primary responsibilities include:
- Identify key behaviors for verification and write clear test plans for complex designs.
- Execute test plans using formal techniques; develop environment assumptions, assertions, and cover properties.
- Reason about arithmetic designs and develop strategies to manage verification complexity.
- Analyze C reference models, debug control flow, and use debugging flows to isolate issues.
- Drive formal tool performance and debug RTL to identify root causes of failures.
- Contribute to flow and script development to improve team efficiency.
- Document and communicate formal verification coverage and results to partners.
Requirements
Must-have skills and experience:
- Solid understanding of GPU and CPU architectures and designs.
- Strong analytical ability to reason about arithmetic verification challenges.
- Knowledge of formal verification methodologies and techniques.
- Familiarity with arithmetic operations such as MUL, FMA, MMA.
- Hands-on experience with C and Verilog/SystemVerilog; experience with temporal logic assertions.
- Proficient scripting skills in Python and Tcl.
- Experience with industry-strength formal verification tools.
- Effective interpersonal and collaboration skills for distributed teams.
Education Requirements
BS, MS, or PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a related technical field — or equivalent practical experience.
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.
