Senior Formal Verification Engineer
$168k/y-$310k/y
NVIDIAa day ago
Highlight
OnsiteFull-timeSenior
Summary
NVIDIA is seeking a Senior Formal Verification Engineer to join their team in Santa Clara, CA. The role involves verifying the design and implementation of leading CPUs and High Performance Computing Solutions.
About the Role
As a Senior Formal Verification Engineer, you will ensure the functional correctness and completeness of next generation chip designs. Your responsibilities will include identifying key behaviors for verification, implementing test plans using formal techniques, developing abstraction models, debugging RTL, and contributing to flow and script development to enhance team efficiency.
About You
Required:
- 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.
- Hands-on experience with Verilog / System Verilog HDLs and temporal logic assertions.
Preferred:
- Experience with Formal Verification Tools (e.g., Jasper Gold, VC Formal).
- Excellent command of scripting using TCL, Perl, and Python.
- Excellent interpersonal skills for collaboration in a distributed team.
Benefits
- Base salary range of $168k–$310k depending on level and experience.
- Eligibility for equity and comprehensive benefits.
NVIDIA
Since its founding in 1993, NVIDIA (NASDAQ: NVDA) has been a pioneer in accelerated computing. The company’s invention of the GPU in 1999 sparked the growth of the PC gaming market, redefined computer graphics, ignited the era of modern AI and is fueling the creation of the metaverse. NVIDIA is now a full-stack computing company with data-center-scale offerings that are reshaping industry.
Santa Clara, CA