Senior Software Engineer
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.
Here are the main problems we are currently working on:
Migration at scale: We work on migrating hundreds of millions of lines of code, across Windows, Azure, Office, and other products, to work with new versions of dependent packages, new compilers and new platforms. Examples include increasing language-standards conformance of code, remediating CodeQL and other static analysis findings, and retargeting services from x86 to ARM.
Language modernization: We move legacy C/C++ (and C#) codebases to Rust, with validation gates at every step. Differential testing against the original, held-out tests, and specification extraction with formal verification (such as Verus proofs) mean each migration is backed by evidence, not optimism.
Specification-driven development: We help brownfield codebases adopt specification-driven development by inferring formal specifications for existing code. The specifications are grounded using execution traces and then used to generate concurrency and fault-tolerance tests, find subtle bugs, and ultimately create a validation guardrail for future AI-driven code changes. We are working with formal tools such as TLA+, F*, Lean and Verus in this work.
You will be onsite at least three days a week and learn and grow through working with talented colleagues.
Responsibilities
Design, build, and ship agentic tools and infrastructure for one or more of our problem areas (such as migration at scale, language modernization, or specification-driven development).
Build the tool layers agents depend on (context, analysis, and validation) and the evaluation harnesses that tell us whether they work.
Integrate static analysis, testing, and verification into agent loops so every change arrives with evidence.
Work directly with engineering teams across Microsoft, such as Windows and Azure, to land changes at production quality.
Instrument and measure quality, including acceptance rate and correctness, and iterate from user feedback.
Contribute to design reviews and mentor other engineers.
Qualifications
Required qualifications
Bachelor's degree in computer science or related areas and 6+ years of experience. Or a Master’s degree with 4+ years of experience. Or a PhD in computer science or related areas.
Experience coding in languages such as C, C++, C#, or Rust.
Experience building developer tools using LLM-based agents.
Experience with compilers and program analysis.
Excellent technical design, problem-solving, and debugging skills.
Strong communication and collaboration skills, customer obsession, and a passion for shipping high-quality products.
Preferred qualifications
Experience with Rust and C/C++ interop and memory safety.
Experience testing at scale, such as differential testing, property-based testing, or fuzzing.
Experience with formal methods such as TLA+, model checking, F*, Lean, Verus, Dafny, or similar.
Experience working with very large codebases and build systems.
Interest or experience in human-AI interaction and developer experience design.
Publications or open-source contributions are a plus.
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.
Company, Culture, Candidate Value Proposition:
Microsoft’s mission is to empower every person and every organization on the planet to achieve more, and we’re dedicated to this mission across every aspect of our company. Our culture is centered on embracing a growth mindset and encouraging teams and leaders to bring their best each day. Join us and help shape the future of the world.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.
#CoreAIIndiaHiring
This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.