2 days 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 technical direction from architecture through production adoption and architect systems that transform hundreds of millions of lines of code.
- Define validation strategies and quality bars for trustworthy agent-produced changes.
- Lead cross-organizational efforts with Windows, Azure, compiler, security, and research teams.
- Turn ambiguous problems into flexible roadmaps as models improve.
- Mentor senior engineers and raise the team’s engineering bar.
- Represent the team externally through talks, papers, and blog posts.
Requirements
- A bachelor's degree in computer science or a related area with 10+ years of experience, a master's degree with 8+ years, or a PhD with 5+ years.
- 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, collaboration, customer obsession, and commitment to high-quality products.
- Preferred experience with 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-organizational technical leadership.
- Publications or open-source contributions are a plus.
Benefits
- Work onsite at least three days per week.
- Work on agentic software engineering problems at large scale with a small, high-leverage team.
- Blend research and engineering while contributing to tools used by Windows, Azure, and other large teams.
- Collaborate with and 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.