Senior Formal Verification Engineer at NVIDIA

You're a seasoned engineer with at least 7 years of experience, likely holding a BS or higher in CS, CE, EE, or Mathematics, and possess a solid grasp of GPU/CPU architectures. **What makes it worth a look...** This is a hybrid role at Nvidia, a top technology employer, offering a strong annual salary range of $168,000 to $310,500, depending on experience and level. **You might be a good fit if you...** * Are skilled in formal verification methodologies and techniques. * Can implement abstraction models and work with Verilog/System Verilog HDLs. * Have excellent scripting abilities in TCL, Perl, and Python. * Have experience with formal verification tools like Jasper Gold or VC Formal.