Senior Formal Verification Engineer at NVIDIA | ASAI