Systems & networking
Researching next-generation systems and networks that power reliable, scalable, and efficient computing.
Career Opportunity
Principal Applied Science Manager – Excel Team
We are seeking an experienced Principal Applied Science Manager with a track record of building and shipping intelligent systems at scale. In this role, you will lead and develop a team of applied scientists responsible…
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
Senior Security Researcher – Red Team
Microsoft Security is seeking agent and systems red teamers to join a new red team spanning agent security, offensive security, cloud identity, attack automation and adversarial AI. You will conduct hands-on red teaming of agentic…
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…