Software Engineering

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

In short

As a Software Engineer in Microsoft's CoreAI division, you will help build AI agents that transform massive codebases like Windows and Azure. The role involves designing and implementing tools for large-scale migration, language modernization to Rust, and specification-driven development, integrating AI with static analysis, testing, and formal verification to ensure trustworthy code changes.

Responsibilities

Design, build, and ship agentic tools and infrastructure for migration at scale, language modernization, or specification-driven development.
Build tool layers for agent context, analysis, and validation, and create evaluation harnesses.
Integrate static analysis, testing, and verification into agent loops for evidence-backed changes.
Collaborate with engineering teams across Microsoft (e.g., Windows, Azure) to deliver production-quality changes.
Instrument and measure quality, including acceptance rate and correctness, iterating based on user feedback.
Contribute to design reviews and mentor other engineers.

Requirements

Bachelor's degree in computer science or related areas with 6+ years of experience, OR Master’s degree with 4+ years of experience, OR PhD in computer science or related areas.
Experience coding in 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 with 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.

Benefits

Work on challenging problems in agentic software engineering at a large scale.
Join a high-leverage team that influences changes across millions of lines of code.
Blend research and engineering with ideas shipping to Windows, Azure, and other large teams.
Contribute to and build upon the research community around TLA+, F*, Lean, Verus, etc.

Skills

CC++C#RustLLMCompilersProgram AnalysisDifferential TestingProperty-based TestingFuzzingTLA+Model CheckingF*LeanVerusDafny

#AI Agents#Software Engineering#Code Transformation#Static Analysis#Testing#Formal Verification#Migration#Language Modernization#Rust#C++#Specification-driven Development#Developer Tools#LLM

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