Senior Formal Verification Engineer - LPU at NVIDIA

You're a Senior Formal Verification Engineer with a PhD, MS, or BS and at least 12 years of ASIC verification experience, including 8+ years specifically in formal verification methods. **What makes it worth a look...** NVIDIA is offering a hybrid full-time role with a highly competitive annual salary range of $196,000 to $310,500 USD. You'll be working on AI-related ASIC designs at the forefront of computing. **You might be a good fit if you...** * Master SystemVerilog Assertions (SVA) and formal property verification. * Are proficient with formal verification tools like JasperGold or VC Formal. * Possess good scripting skills in languages like tcl or python for automation. * Have shown success in full-cycle formal sign-off for complex designs.