Software Engineering

Technology, Data & Digital · Software & Web Development · Software Engineering

In short

Microsoft's CoreAI division seeks a Software Engineer to lead the design and delivery of AI agentic tools for large-scale code transformation, including migration and language modernization. This role involves setting technical direction, architecting systems for massive codebases, defining validation strategies, and mentoring engineers.

Responsibilities

Lead the design and delivery of agentic tools and infrastructure for problem areas like 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 allow a small expert team to drive transformations across hundreds of millions of lines of code.
Define validation strategies and quality bars to ensure trustworthiness of agent-produced changes at scale.
Lead cross-organizational efforts with partner teams (e.g., Windows, Azure, compiler, security) and the research community.
Transform ambiguous, fast-moving problems into roadmaps while remaining flexible as models improve.
Mentor senior engineers and elevate the engineering bar across the team.
Represent the team externally through talks, papers, and the blog.

Requirements

Bachelor's degree in computer science or related areas and 10+ years of experience; OR Master’s degree with 8+ years of experience; OR 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.

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

Benefits

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

Skills

CC++C#RustLLMcompilersprogram analysisTLA+F*LeanVerusDafny

#AI#Software Engineering#Code Transformation#Large Codebases#Migration#Language Modernization#Rust#C++#Specification-driven Development#Formal Verification#Developer Tools#LLM#Microsoft Research#CoreAI

About Microsoft

Empowering every person and organization on the planet to achieve more

Every company has a mission. What's ours? To empower every person and every organization to achieve more. We believe technology can and should be a force for good and that meaningful innovation contributes to a brighter world in the future and today. Our culture doesn’t just encourage curiosity; it embraces it. Each day we make progress together by showing up as our authentic selves. We show up with a learn-it-all mentality. We show up cheering on others, knowing their success doesn't diminish our own. We show up every day open to learning our own biases, changing our behavior, and inviting…

See all open jobs at Microsoft Read more about Microsoft Website