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 11 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

Software Dev Engineer - Computer Science, QuickSight Embedding

Entry-level Software Development Engineer role at Amazon Web Services (AWS) for recent graduates to work on innovative cloud technologies.

IT Support Engineer I, IT Services

Join Amazon as an IT Support Engineer I in Denver, CO. Provide technical support, manage tickets, and contribute to innovative IT solutions.

Cloud Support Engineer-I, GovCloud Support Team (US)

Join AWS as a Cloud Support Engineer-I for the GovCloud Support Team, providing world-class support and driving innovation in cloud computing.

Process Engineer I, Trustworthy Shopping Experience (TSE) Product Team - TORX

Process Engineer I role at Amazon's Trustworthy Shopping Experience team, focusing on automation and process improvement.

Software Dev Engineer

Join Amazon as a Software Dev Engineer to work on innovative, large-scale projects that impact millions of customers worldwide.