Skip to main contentA logo with &quat;the muse&quat; in dark blue text.

Formal Verification Engineer

AT NVIDIA
NVIDIA

Formal Verification Engineer

Austin, TX / Remote

As a Formal Verification Infrastructure Engineer at Nvidia, you will have the opportunity to develop cutting-edge formal flows, automation, and metrics to support the verification of the industry's leading GPUs. In this challenging role, you will combine your knowledge of software development and hardware design & verification to develop and maintain infrastructure to enhance efficiency and improve the quality of results across the formal verification team. You will work alongside some of the brightest minds in the industry, collaborating with teams across the company - including design, verification, infrastructure, and tool development teams - to drive innovation and push the boundaries of what's possible. This will require excellent communication skills to effectively communicate your own deep domain knowledge and understand that of others.

Want more jobs like this?

Get jobs delivered to your inbox every week.

Select a location
By signing up, you agree to our Terms of Service & Privacy Policy.


What you will be doing:

  • Establish and maintain formal verification flows.
  • Develop and maintain automation to support formal verification.
  • Develop infrastructure that makes efficient use of resources.
  • Develop and maintain progress, health, and efficiency formal verification metrics.
  • Optimize the performance of formal tools.
  • Debug tool issues and drive them to resolution with tool developers.
  • Support the team's advanced formal methodologies in the infrastructure.
  • Create and maintain formal verification infrastructure documentation.

What we need to see:

  • BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 2+ years of experience.
  • Strong analytical skills to solve complex problems.
  • Experience developing software to support hardware design.
  • Knowledge of formal verification tools and methodologies.
  • Familiar with hardware design languages and methodologies.
  • Excellent command of scripting using TCL and Python.
  • Understanding of GPU/CPU architectures and designs.
  • Excellent interpersonal skills.
  • Able to effectively collaborate and work in a distributed team.

The base salary range is 108,000 USD - 201,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.

Client-provided location(s): Austin, TX, USA; Santa Clara, CA, USA
Job ID: NVIDIA-JR1984578
Employment Type: Full Time