Formal Verification Engineer - New College Graduate 2025

at  NVIDIA

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 the candidate 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 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!
  The base salary range is 92,000 USD - 178,250 USD. Your base salary will be determined based on your location, experience, and the pay of employees in similar positions.
  You will also be eligible for equity and benefits. NVIDIA accepts applications on an ongoing basis.
  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.

• 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.