Senior Formal Verification Engineer job opportunity at NVIDIA.

Home Jobs In United States Of America Tag: Job Senior Formal Verification Engineer position at NVIDIA


DateMore Than 30 Days Ago bot
NVIDIA Senior Formal Verification Engineer
Experience: 7-years
Pattern: full-time
Country:
apply Apply Now
Salary:
Status:

Job

Copy Link Report
degreePhD
loacation US, CA, Santa Clara, United States Of America
loacation US, CA, Santa ..........United States Of America

NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry’s leading CPUs and other High Performance Computing Solutions. As a Formal Verification Engineer, you will play a key role in ensuring the functional correctness and completeness of our next generation chip designs. You will collaborate with a team of highly skilled engineers to develop and implement formal verification methodologies using formal verification tools, define the verification scope, and ensure design correctness. You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks. What will you be doing: Identify key behaviors for verification to write clear testplans for complex designs. Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties. Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage. Drive tools to realize their best performance. Debug RTL to identify causes of failure scenarios. Contribute to flow and script development to improve team efficiency. Articulate formal verification coverage of the design to partners. What we need to see: BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics. Solid understanding of GPU/CPU architectures and designs. Strong analytical skills to solve complex problems. Knowledge of formal verification methodologies and techniques. Able to implement abstraction techniques for effective verification. Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly. Excellent command of scripting using TCL, Perl, and Python. Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal ) Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team. NVIDIA is widely considered to be one of the technology world’s most desirable employers. 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! Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 168,000 USD - 264,500 USD for Level 4, and 196,000 USD - 310,500 USD for Level 5. You will also be eligible for equity and benefits . Applications for this job will be accepted at least until January 13, 2026. This posting is for an existing vacancy.  NVIDIA uses AI tools in its recruiting processes. 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.

Other Ai Matches

Principal Developer Technology Engineer Applicants are expected to have a solid experience in handling Job related tasks
HPC and AI Software Architect Applicants are expected to have a solid experience in handling Job related tasks
Senior Photonic Device Designer Applicants are expected to have a solid experience in handling Job related tasks
Senior Resiliency and Safety Architect, GPU Workloads and Failure Analysis Applicants are expected to have a solid experience in handling GPU Workloads and Failure Analysis related tasks
Software QA Engineer, Networking Applicants are expected to have a solid experience in handling Networking related tasks
Senior Field Applications Engineer Applicants are expected to have a solid experience in handling Job related tasks
Technical Product Lead - Autonomous vehicles Applicants are expected to have a solid experience in handling Job related tasks
CAD Engineer Applicants are expected to have a solid experience in handling Job related tasks
Research Scientist, Deep Learning and Computer Vision - New College Graduate Applicants are expected to have a solid experience in handling Deep Learning and Computer Vision - New College Graduate related tasks
Senior ASIC Verification Engineer, Coherent High Speed Interconnect Applicants are expected to have a solid experience in handling Coherent High Speed Interconnect related tasks
Graphics Engineer Intern, Tegra System Software - Summer 2026 Applicants are expected to have a solid experience in handling Tegra System Software - Summer 2026 related tasks
Director, Business Operations - Memory Applicants are expected to have a solid experience in handling Business Operations - Memory related tasks
Senior System Software Engineer - Media and Broadcasting Applicants are expected to have a solid experience in handling Job related tasks
Senior System Software Engineer – Autonomous Vehicles Applicants are expected to have a solid experience in handling Job related tasks
remote-jobserver Remote
Developer Relations Manager -Nordics Applicants are expected to have a solid experience in handling Job related tasks
AI Research Intern, TAO Multi-Modal Model Development - 2026 Applicants are expected to have a solid experience in handling TAO Multi-Modal Model Development - 2026 related tasks
Talent Acquisition Sourcing Manager Applicants are expected to have a solid experience in handling Job related tasks
Senior Systems Engineer, Artificial Intelligence Operations Applicants are expected to have a solid experience in handling Artificial Intelligence Operations related tasks
Senior Technical Program Manager – VLSI Applicants are expected to have a solid experience in handling Job related tasks
Infrastructure Automation Engineer - Silicon Solution Group Applicants are expected to have a solid experience in handling Job related tasks
Build and DevOps Engineer - Compilers Applicants are expected to have a solid experience in handling Job related tasks
Tools and Development Engineer Applicants are expected to have a solid experience in handling Job related tasks
Senior Solution Architect, HPC - NVIS Applicants are expected to have a solid experience in handling HPC - NVIS related tasks