Senior Software EngineerMicrosoft
Hiring Announcement for Full-Time Positions in Bangalore, India.
What happens when AI agents can rewrite millions of lines of code orders of magnitude faster than humans can review them? That question drives the Future of Scalable Software Engineering (FoSSE) team in Microsoft's CoreAI division. We build AI agents that transform some of the world's largest codebases, including Windows and Azure. Generating code is becoming the easy part; knowing whether to trust it is the real challenge.
We combine AI agents with static analysis, testing, and formal verification to make large-scale software transformation practical and trustworthy, and we design tools that spend scarce human attention where it matters most. The team began in Microsoft Research and moved to CoreAI in 2025, and we continue to collaborate closely with Microsoft Research, so research depth meets production stakes every day.
Why join us?
Work on the hardest problems in agentic software engineering, at real scale. Join a small team with outsized leverage, where a handful of experts steer changes across hundreds of millions of lines of code. Blend research and engineering: ideas here ship to tools used by Windows, Azure, and other large teams. Build on, and contribute back to, the research community around TLA+, F*, Lean, Verus, etc.
Multiple positions open (Senior Software Engineer, Principal Software Engineer roles), check for requirements and apply through the links in comments.
Pallavi Jain
David Dpenha
SanjayKrishna Ragupathy
tal saysbuild ai agents for large-scale software transformation with microsoft's coreai team in bangalore
engineering
senior
Bangalore
public
tla+f*leanverus
comments 1 anon