Senior Software Engineer
Microsoft · Posted Oct 23
Software, cloud computing, artificial intelligence, and hardware services
Get a personal compatibility score
Add a resume for personal matches
About the role
The Future of Scalable Software Engineering (FoSSE) team in Microsoft's CoreAI division builds AI agents that transform some of the world's largest codebases, including Windows and Azure. The team combines AI agents with static analysis, testing, and formal verification to make large-scale software transformation practical and trustworthy, working on migration at scale, language modernization (C/C++ and C# to Rust), and specification-driven development. This role designs and ships agentic tools and infrastructure, builds context/analysis/validation layers and evaluation harnesses, and works with engineering teams across Microsoft to land changes at production quality.
What you will do
- 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.
Skills used in this role
What the employer is looking for
- 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.
Benefits and support
- Compensation and benefits are detailed in the job posting
About Microsoft
Microsoft Corporation is a multinational technology company that develops, licenses, and supports a wide range of software products, services, and hardware devices. Best known for its Windows operating systems, Microsoft 365 productivity suite, and Xbox gaming consoles, the company has expanded heavily into enterprise cloud computing via Azure and advanced artificial intelligence solutions. As one of the world's most valuable public enterprises, it empowers individuals and businesses globally through innovative digital transformation.
- Industry
- Software
- Company size
- 228,000+ employees
- Founded
- April 4, 1975
- Location
- Redmond, Washington, USA
- Funding stage
- Public Company
Leadership
Chairman and Chief Executive Officer
Chief Financial Officer
Vice Chair and President
Recent coverage
GeekWire
Microsoft unveils tools to monitor and corral rogue AI agentsOctober 19, 2026
Futurum Group
Microsoft Expands Sovereign Cloud Capabilities Across Public and Private EcosystemsOctober 20, 2026
BGR
Microsoft asks certain Xbox Series X/S owners to sell consoles back to Best Buy amid component cost pressuresOctober 20, 2026