23 hours ago
Bengaluru, IndiaStaff+
Responsibilities
- Lead the design and delivery of agentic tools and infrastructure for large-scale migration, language modernization, or specification-driven development.
- Set end-to-end technical direction from architecture through production adoption.
- Architect systems that enable a small expert team to transform hundreds of millions of lines of code.
- Define validation strategies and quality standards for trustworthy AI-produced changes.
- Lead cross-organizational work with Windows, Azure, compiler, security, research, and partner teams.
- Turn ambiguous, rapidly changing problems into adaptable roadmaps.
- Mentor senior engineers and raise the team’s engineering standards.
- Represent the team through talks, papers, and blog posts.
Requirements
- Bachelor’s degree in computer science or a related area plus 10+ years of experience, or a master’s degree plus 8+ years, or a PhD plus 5+ years.
- Experience coding in C, C++, C#, or Rust.
- Experience building developer tools using LLM-based agents.
- Experience with compilers and program analysis.
- Strong technical design, problem-solving, debugging, communication, and collaboration skills.
- Preferred: Rust and C/C++ interoperability, memory safety, differential testing, property-based testing, fuzzing, formal methods, large codebases, build systems, human-AI interaction, developer experience design, research-to-production transitions, and cross-team technical leadership.
- Publications or open-source contributions are a plus.
Benefits
- Onsite work at least three days per week.
- Opportunity to work on agentic software engineering problems at large scale.
- Collaboration with Microsoft Research and teams supporting Windows, Azure, and other major products.
- Opportunity to contribute to the research community around TLA+, F*, Lean, and Verus.
Categories
About Microsoft
Microsoft develops operating systems, productivity software, cloud services, developer tools, and consumer devices for individuals, enterprises, and governments. Its main products include Windows, Microsoft 365, Azure, Visual Studio/GitHub, Xbox, and LinkedIn; revenue comes from software subscriptions and licenses, cloud consumption, hardware sales, and advertising. Founded in 1975 and headquartered in Redmond, Washington, Microsoft is a public company traded on Nasdaq.