Principal Formal Design Verification Engineer | Microsoft Careers