Principal 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.  

• Lead the design and delivery of agentic tools and infrastructure for one or more of our problem areas (such as migration at scale, language modernization, or specification-driven development).

• Set technical direction for a problem area end to end, from architecture to production adoption.

• Architect systems that let a small expert team drive transformations across hundreds of millions of lines of code.

• Define the validation strategies and quality bars that make agent-produced changes trustworthy at scale.

• Lead cross-organizational efforts with partner teams, such as Windows, Azure, compiler, and security teams, and with the research community.

• Turn ambiguous, fast-moving problems into roadmaps while staying flexible as models improve.

• Mentor senior engineers and raise the engineering bar across the team.

• Represent the team externally through talks, papers, and our blog.

Required qualifications 

• Bachelor's degree in computer science or related areas and 10+ years of experience. Or a Master’s degree with 8+ years of experience. Or a PhD in computer science or related areas with 5+ years of experience. 

• 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. 

• Experience leading research-to-production transitions. 

• Track record of leading technical efforts across teams or organizations. 

• 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