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 25 days 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

Platform Test Engineer, Associate

Platform Test Engineer position at Qualcomm focusing on multimedia technology testing and tool development.

Engineer

Entry-level Software Engineer position at Qualcomm India, focusing on embedded and cloud edge software development with opportunities for growth and innovation.

Engineer

Entry-level systems test engineering role at Qualcomm focusing on software/hardware testing and quality assurance.

Cellular Systems Test Engineer

Entry-level Cellular Systems Test Engineer position at Qualcomm Technologies, focusing on systems testing, debugging, and quality assurance for wireless technologies.

Engineer

Entry-level systems engineering position at Qualcomm India, focusing on software/hardware testing and system analysis with comprehensive training and benefits.