Senior Formal Verification Engineer - LPU at NVIDIA

You're a senior engineer with at least 12 years of experience in ASIC verification, including 8+ years specifically in formal verification methods, and possess a BS/MS/PhD or equivalent in CS/CE/EE. **What makes it worth a look...** NVIDIA is offering a full-time hybrid role with a base salary range of $196,000 to $310,500 USD, with potential for equity and comprehensive benefits. **You might be a good fit if you...** * Master SystemVerilog Assertions (SVA) and formal property verification. * Are proficient in at least one popular formal verification tool like JasperGold or VC Formal. * Have good scripting skills in languages such as Tcl or Python for flow automation. * Can support ASIC designs using formal verification methods.