Formal Verification Engineer - New College Graduate 2025

NVIDIA is the world leader in accelerated computing, pioneering accelerated computing to tackle challenges no one else can solve.
$92,000 - $178,250
Backend
Entry-Level Software Engineer
In-Person
5,000+ Employees
AI

Description For Formal Verification Engineer - New College Graduate 2025

We are looking for a Formal Verification Engineer - New College Graduate. For two decades, we have pioneered visual computing, the art and science of computer graphics. With our invention of the GPU - the engine of modern visual computing - the field has grown to encompass video games, movie production, product design, medical diagnosis and scientific research.

The role consists of owning the task of formal verification of RTL units for next generation chips. This involves applying knowledge of architecture and micro-architecture for determining optimal verification strategies. The candidate will have strong analytical skills, with a digital design and computer architecture background. The ideal candidate will also have advanced knowledge of data structures and algorithms, discrete math, hardware description languages such as SystemVerilog or VHDL, and exposure to hardware verification methodologies. No prior knowledge of Formal Verification techniques is required.

What you'll be doing:

  • Developing comprehensive Formal Verification testplan documents.
  • Coding and debugging Formal Verification environments including environment assumptions, assertions and cover properties in context of the verification plan.
  • Applying various Formal Verification techniques to proof correctness of digital designs.
  • Debugging RTL to identify failure scenarios.
  • Developing scripts to automate the verification process.
  • Reviewing formal testbenches and proofs with design teams and verification teams.

What we need to see:

  • Pursuing or have recently graduated with a BS/MS/PhD in CS/CE/EE/Mathematics (or equivalent experience).
  • Hands-on experience with HDLs such as Verilog / SystemVerilog / VHDL.
  • Knowledge of computer architecture and digital logic.
  • Ability to quickly understand and debug RTL descriptions.
  • Strong structured programming skills is a plus!
  • Strong analytical skills for solving difficult problems.
  • Excellent communication skills with ability to work with team members and collaborate effectively.

NVIDIA is widely considered to be one of the world's most desirable employers in technology. We have some of the most resourceful and talented people in the world working for us. If you're creative, autonomous and love a challenge, we want to hear from you!

NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

Last updated 2 months ago

Responsibilities For Formal Verification Engineer - New College Graduate 2025

  • Developing comprehensive Formal Verification testplan documents
  • Coding and debugging Formal Verification environments
  • Applying Formal Verification techniques to proof correctness of digital designs
  • Debugging RTL to identify failure scenarios
  • Developing scripts to automate the verification process
  • Reviewing formal testbenches and proofs with design and verification teams

Requirements For Formal Verification Engineer - New College Graduate 2025

  • BS/MS/PhD in CS/CE/EE/Mathematics (or equivalent experience)
  • Hands-on experience with HDLs (Verilog / SystemVerilog / VHDL)
  • Knowledge of computer architecture and digital logic
  • Ability to quickly understand and debug RTL descriptions
  • Strong analytical skills
  • Excellent communication skills

Benefits For Formal Verification Engineer - New College Graduate 2025

Equity
  • Equity

Interested in this job?

Jobs Related To NVIDIA Formal Verification Engineer - New College Graduate 2025

Developer Technology Engineer, CPU Performance - New College Grad 2025

Entry-level Developer Technology Engineer position at NVIDIA focusing on CPU performance optimization, requiring advanced degree and strong technical expertise in computer architecture.

GPU C++ Modeling Engineer - New College Grad

Entry-level GPU C++ Modeling Engineer position at NVIDIA, focusing on GPU architecture design, performance modeling, and validation for AI and gaming applications.

Web Application Software Engineer - New College Graduate 2025

Entry-level Web Application Software Engineer position at NVIDIA, focusing on backend/frontend development and infrastructure for data processing systems.

Developer Technology Engineer, Public Sector - New College Grad 2025

Entry-level Developer Technology Engineer position at NVIDIA, focusing on GPU acceleration for public sector applications with competitive salary and benefits.

DFX CAD Tools Development Engineer

Entry-level software engineering role at NVIDIA developing CAD tools for semiconductor design, focusing on DFT and DFP methodologies using C++, Python, and TCL.