Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
In the Microsoft Frontier Company Engineering team, you won’t just build software; you’ll deliver real outcomes for some of the world’s most complex organizations. As a Principal Data Scientist, you will help transform how organizations…
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security.
Researchers in AI are building systems that can reason, plan and act on behalf of the people who use them, from writing software to automating complex, multistep tasks. As these systems become more capable and…
The Code|AI team leads applied research and data science for GitHub Copilot and VS Code, working on the future of AI for developers. Our team focuses on post-training code specific models like code completion, code…
As a Principal Researcher or Senior Principal Researcher, you’ll play a critical part in advancing research in systems software verification and leveraging that research to dramatically impact the way software is built and maintained. You’ll…
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…
A Text-Based Environment for Interactive Debugging In most existing approaches (shown in black), an agent rewrites its code conditioned on error messages obtained from executing its code. debug-gym equips the agent with additional tools such…
the Text Adventure Learning Environment Suite Reasoning is an essential skill to enable Large Language Models (LLMs) to interact with the world. As tasks become more complex, they demand increasingly sophisticated and diverse reasoning capabilities…