Senior Researcher - Software Verification - Microsoft Research

Microsoft•Redmond, WA

1d•Onsite

About The Position

At Microsoft Research, you will shape the future of systems and AI by creating scalable systems for program and systems verification. You will work on developing state-of-art automated reasoning tools, including SMT solvers. You will work alongside world‑class researchers and engineers to push state of the art in software engineering in the age of powerful coding agents and through rigorous, impactful research. In this role as a Senior Researcher – Software Verification, you play a critical part in turning foundational ideas into practical advances in software engineering by advancing automated reasoning. You will deepen your expertise in formal methods, large‑scale systems, and integration of AI and agent technologies. You will be collaborating primarily on‑site in Redmond with opportunities for growth and learning across disciplines. #MSRR #Research At Microsoft, our mission—to empower every person and every organization on the planet to achieve more—guides how we partner with customers to deliver trusted, impactful solutions. With a growth mindset culture, we innovate responsibly and measure success by shared progress—people, teams, and customers. Join us to do meaningful work that changes the world and helps shape what’s next for everyone.

Requirements

Doctorate in relevant field OR Master's Degree in relevant field AND 3+ years related research experience OR Bachelor's Degree in relevant field AND 4+ years related research experience OR equivalent experience

Nice To Haves

Doctorate (or are currently pursuing) in software engineering, programming languages, automated reasoning, systems, or relevant fields
Experience publishing academic papers as a lead author or essential contributor.
Experience participating in a top conference in relevant research domain.
3 years of experience building large scale systems integrating rigorous methods and AI technologies for software engineering.
Active participation in engineering efforts in the above areas, with involvement in building and maintaining systems.
Active participation in research as demonstrated by publications.
Demonstrable ability to work in a multi-disciplinary team.

Responsibilities

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.