Senior Formal Verification Engineer | Microsoft Careers