Senior Researcher - Software Verification - Microsoft Research | Microsoft Careers