Formal Verification Engineer at NVIDIA (Bengaluru)