Join a pioneering team at Microsoft CoreAI focused on the future of scalable software engineering. We are developing advanced AI agents capable of rewriting millions of lines of code with unprecedented speed. Our mission is to ensure the trustworthiness of AI-generated code through a combination of AI, static analysis, testing, and formal verification. This role offers a unique opportunity to influence the evolution of software development on massive codebases like Windows and Azure.

The team leverages a research-driven approach, bringing depth from Microsoft Research into production-ready solutions. We tackle complex challenges in large-scale code migration, modernizing legacy codebases into languages like Rust, and implementing specification-driven development to enhance code quality and enable AI-driven transformations.

Lead the architectural design and successful delivery of agentic tools and infrastructure across critical problem domains, including large-scale migration and language modernization.

Establish and guide the technical direction for assigned areas, overseeing the entire lifecycle from initial architecture to production implementation.

Develop robust systems enabling a focused team to drive transformations across millions of lines of code efficiently.

Define rigorous validation strategies and quality standards to guarantee the trustworthiness of AI-generated code modifications at scale.

Spearhead cross-organizational initiatives, fostering collaboration with key partner teams such as Windows, Azure, compiler, and security, alongside contributions to the research community.

Translate complex, rapidly evolving challenges into actionable roadmaps while maintaining adaptability as AI models advance.

Mentor senior engineers, elevating the overall engineering excellence within the team.

Represent the team externally by presenting at conferences, publishing research, and contributing to our team blog.

A Bachelor's degree in Computer Science or a related field, coupled with over 10 years of professional experience, is required. Alternatively, a Master's degree with 8+ years of experience or a PhD in Computer Science with 5+ years of experience will be considered.

Proficiency in coding languages such as C, C++, C#, or Rust is essential. Experience in building developer tools that utilize Large Language Model (LLM)-based agents is also a key requirement.

Demonstrated experience with compilers and program analysis techniques is necessary. Additionally, strong technical design, problem-solving, and debugging capabilities are expected.

Excellent communication and collaboration skills, a customer-centric mindset, and a dedication to delivering high-quality products are crucial for success in this role. Preferred qualifications include experience with Rust and C/C++ interoperability, advanced testing methodologies, formal methods, and working with extensive codebases.