Senior Formal Verification Engineer at NVIDIA (Santa Clara)