The Senior Researcher position at Microsoft Research focuses on advancing software verification through the development of scalable systems and automated reasoning tools. The role involves collaboration with top researchers and engineers to push the boundaries of software engineering, particularly in integrating AI technologies. The position is primarily on-site in Redmond, offering opportunities for professional growth and interdisciplinary learning. Candidates will contribute to impactful research that aims to shape the future of systems and AI.

• Doctorate in a relevant field or a Master's Degree with 3+ years of related research experience or a Bachelor's Degree with 4+ years of related research experience or equivalent experience.
• Preferred candidates should have a Doctorate or be pursuing one in software engineering, programming languages, automated reasoning, systems, or relevant fields.
• Experience publishing academic papers as a lead author or essential contributor is preferred.
• Experience participating in a top conference in the relevant research domain is preferred.
• 3 years of experience building large scale systems integrating rigorous methods and AI technologies for software engineering is preferred.
• Demonstrable ability to work in a multi-disciplinary team is preferred.

• Drive high-impact research in rigorous software engineering integrating AI technologies.
• Collaborate to develop and test out 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 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.