Senior Formal Verification Engineer

The NVIDIA GPU clocks group is seeking a Senior Formal Verification Engineer to design, validate, and verify complex GPU clocking RTL for diverse product lines. This role involves developing formal verification strategies, creating abstraction models, and debugging RTL to ensure comprehensive coverage and quality. The position requires collaboration with frontend and backend teams to address design requirements and physical constraints.