Principal Software Engineer

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.

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.

coding in languages such as C, C++, C#, or Rust.

building developer tools using LLM-based agents.

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.

with Rust and C/C++ interop and memory safety.

testing at scale, such as differential testing, property-based testing, or fuzzing.

with formal methods such as TLA+, model checking, F, Lean, Verus, Dafny, or similar.

working with very large codebases and build systems.

Interest or experience in human-AI interaction and developer experience design.

leading research-to-production transitions.

Track record of leading technical efforts across teams or organizations.

Publications or open-source contributions are a plus.