Expoint - all jobs in one place

המקום בו המומחים והחברות הטובות ביותר נפגשים

Limitless High-tech career opportunities - Expoint

Nvidia Formal Verification Engineer 
United States, Texas 
13607319

31.07.2024

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.

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.

You will also be eligible for equity and .