Security and privacy are among the most significant concerns for enterprises and consumers using public cloud platforms. Azure Research is conducting pioneering research in the design and analysis of systems that guarantee strong security and…
The AI for Domains (AID) group in M365 Research has multiple research internship positions for the summer of 2025. We are seeking strong candidates to work with our researchers on various topics of domain adaptation…
Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at…
The Networking Research Group (NRG) within Systems and Foundations at Microsoft Research seeks Research Interns with strong research and development skills, with backgrounds in technologies underlying networks, systems, sensing, security, AI, edge computing, optimization and…
Microsoft’s Cloud business is expanding, and the Cloud Supply Chain (CSCP) organization is responsible for enabling the infrastructure underlying this growth including AI! CSCP’s vision is to empower customers to achieve more by delivering Cloud…
Our group, Machine Learning and Optimization (MLO) at Microsoft Research Redmond, works on fundamental and practical aspects of data-driven optimization. Joining MLO as a Senior Machine Learning Engineer provides a unique opportunity to work on…
In their 2024 SOSP paper, researchers explore a common—though often undertested—software system issue: retry bugs. Research manager Shan Lu and PhD candidate Bogdan Stoica share how they’re combining traditional program analysis and LLMs to address the…
Building resilient systems, scaling deep learning computation, and reproducing failures in production are just some of the ways Microsoft researchers are advancing the state of the art in computer systems research at SOSP 2024.