1 day ago
Bengaluru, IndiaSenior
Responsibilities
- Design, build, and ship agentic tools and infrastructure for large-scale migration, language modernization, or specification-driven development.
- Build context, analysis, validation, and evaluation layers for AI agents.
- Integrate static analysis, testing, and formal verification into agent loops.
- Work with Microsoft engineering teams, including Windows and Azure, to deliver production-quality changes.
- Instrument and measure quality, including acceptance rate and correctness, and iterate based on user feedback.
- Contribute to design reviews and mentor other engineers.
Requirements
- Bachelor’s degree in computer science or a related area and 6+ years of experience, or a master’s degree and 4+ years of experience, or a PhD in computer science or a related area.
- 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 and collaboration skills and a focus on shipping high-quality products.
- Preferred: experience with Rust and C/C++ interoperability, memory safety, large-scale testing, differential testing, property-based testing, fuzzing, formal methods, large codebases, build systems, human-AI interaction, developer experience design, publications, or open-source contributions.
Benefits
- Onsite work at least three days per week.
- Opportunity to work on agentic software engineering at large scale and collaborate closely with Microsoft Research.
- Opportunity to contribute to research and production tools used by Windows, Azure, and other teams.
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.