The role of Principal Researcher or Senior Principal Researcher at Microsoft Research focuses on advancing research in systems software verification by integrating AI technologies. The position involves collaboration with world-class researchers and engineers to develop innovative solutions that impact software development and maintenance. The researcher will deepen their expertise in formal methods and large-scale systems while working primarily on-site in Redmond. Microsoft values a culture of inclusion and collaboration, aiming to empower individuals and organizations globally.

• Doctorate in a relevant field and 3+ years of related research experience, or a Master's Degree in a relevant field and 4+ years of related research experience, or a Bachelor's Degree in a relevant field and 6+ years of related research experience, or equivalent experience.
• Experience publishing academic papers as a lead author or essential contributor.
• Experience participating in a top conference in the relevant research domain.
• Demonstrable ability to work in a multi-disciplinary team.

• Drive high-impact research in software verification integrating AI technology.
• Collaborate to develop and test new ideas within existing or new collaborative teams.
• Build and maintain state-of-the-art systems in this space.
• Collaborate in preparing technical papers and presentations.
• Work with product teams to ensure your technology has a world-changing impact.

• Employees at Microsoft are often offered comprehensive, “world-class” benefits—including health and mental-wellness programs, competitive pay with bonuses and stock awards, and retirement/savings options. Time-off and flexibility are common, with generous vacation and holidays, parental and caregiver leave, and flexible work schedules, alongside learning support, employee resource groups, product discounts, and matching-gifts/volunteering programs. Specific benefits can vary by region.