Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Microsoft Research Blog
Formally verifying agent-written full-stack web apps with PDD Kit
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer intended by creating formal specifications and testing against them.…
Career Opportunity
Research Sciences II – PROSE team
We invite early-career researchers having experience with machine learning or related areas to apply for a full-time position on the PROSE team at Microsoft. Associate Researchers II collaborate with other researchers to design and carry…
Career Opportunity
Research Intern – MSR Systems Research Group – Redmond
The Systems Research Group in Microsoft Research is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems scalable, fault-tolerant, manageable, fast, efficient, and verifiably…
Career Opportunity
Research Intern – Machine Learning and Optimization – Redmond
The Machine Learning and Optimization (MLO) group in MSR-Redmond performs research in the intersection of optimization, machine learning and systems. Our focus right now is in combining ML technology with optimization for efficient decision-making. Example…