Research Intern – Office of the Chief Scientific Officer
The Office of the Chief Scientific Officer works with senior leadership at Microsoft on strategy and opportunities at the frontiers of science, engineering, and responsible artificial intelligence (AI). The office collaborates closely with teams across…
Microsoft Research India 2025 Highlights
Here are some highlights of the research and impact at Microsoft Research India in 2025, along with some glimpses of the lab milieu.
Terabyte-Scale Analytics in the Blink of an Eye
Research Intern – Machine Learning and Optimization
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 Large Language Model (LLM) technology with optimization for…
Model-based Testing using LLMs
This repsitory contains the code for our paper Eywa: Automating Model-based Testing using LLMs. Our framework uses LLMs to automatically construct modular protocol models from natural-language specifications and applies symbolic execution and differential testing to…
Senior Researcher – AI and Systems Reliability – Microsoft Research
We are seeking Senior Researcher – AI and Systems Reliability – Microsoft Research areas such as distributed systems and reliability, formal methods and verification, machine learning for system reliability, and reliability of machine learning systems.…
Agent Lightning: Adding reinforcement learning to AI agents without code rewrites
By decoupling how agents work from how they’re trained, Agent Lightning turns each step an agent takes into data for reinforcement learning. This makes it easy for developers to improve agent performance with almost zero…