Formal Verification Engineer - New College Grad 2026
NVIDIAJob Title
Formal Verification Engineer - New College Grad 2026
Role Summary
Work on the formal verification team to verify RTL units for next-generation NVIDIA chips. The role owns formal verification tasks from testplan creation through proofs and debug, collaborating with design and verification teams.
Focus areas include formal methods, architectural and micro-architectural understanding of units, and automated verification workflows.
Experience Level
Entry-level (New college graduate; 0–3 years of experience).
Responsibilities
Primary responsibilities include creating formal verification plans, building verification environments, applying proof techniques, and automating and debugging verification flows.
- Develop comprehensive formal verification (FV) testplans and verification strategies.
- Identify key behaviors of the device-under-test and create verification plans.
- Implement verification environments: assumptions, assertions, and cover properties aligned to the plan.
- Apply formal techniques to prove correctness of digital designs and validate properties.
- Debug RTL to identify and isolate failure scenarios discovered during formal runs.
- Develop scripts and automation to streamline the verification process.
- Review formal setups and proof results with design and verification teams.
Requirements
Must-have technical skills and abilities for effective performance in the role. Education requirements are listed separately below.
- Strong analytical and problem-solving skills.
- Knowledge and hands-on experience with formal verification techniques and temporal logic assertions.
- Strong understanding of CPU/GPU architectures and digital logic; ability to rapidly comprehend RTL.
- Hands-on experience with HDLs such as Verilog / SystemVerilog.
- Experience debugging RTL and interpreting counterexamples from formal tools.
- Ability to write scripts to automate verification flows.
- Good verbal and written communication; able to collaborate across teams.
- Nice-to-have: experience with formal tools (e.g., Jasper, IFV, SMV, SPIN).
Education Requirements
BS, MS, or Ph.D. 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.
