Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research | Microsoft Careers