Description
NVIDIA is hiring a Formal Verification Engineer to verify the build and implementation of its leading GPUs. The role focuses on formal verification of micro-architecture, including defining verification scope, developing test plans, assertions, coverage properties, abstraction models, and proofs; debugging RTL; improving verification flows and scripts; and communicating coverage to partners. Candidates need a BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with at least five years of experience, GPU/CPU architecture knowledge, Verilog/System Verilog and formal verification expertise, abstraction skills, strong analytical and scripting abilities, and strong communication and collaboration skills. The base salary range is 136,000 USD to 218,500 USD for Level 3 and 168,000 USD to 264,500 USD for Level 4, with equity and benefits also offered.
