About the job
At Microsoft Research, you will shape the future of software by advancing how complex systems are designed, built, and validated. You will work alongside world-class researchers and engineers to push the state of the art in software engineering through rigorous, impactful research. In this role as a Senior Researcher – Research in Software Engineering – Microsoft Research, you play a critical part in turning foundational ideas into practical advances in software engineering by advancing programming languages, testing, and automated reasoning. You will deepen your expertise in formal methods, large-scale systems, and the integration of AI and agent technologies, while collaborating primarily on-site in Redmond with opportunities for growth and learning across disciplines.
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.
Qualifications
Minimum
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.
Preferred
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.