Overview

The Future of Scalable Software Engineering (FoSSE) team in CoreAI, Microsoft, invites applications for postdoctoral researcher positions. FoSSE is an applied research team focused on solving real-world software engineering (SE) problems for large codebases, including code migration, code translation, and static analysis, using AI and formal methods. Our postdoc program provides an opportunity to work on practical research problems while collaborating closely with Microsoft researchers and product groups. Postdocs spend 1-2 years with us and receive ongoing guidance and mentoring from experienced colleagues. We work at the intersection of programming language design, formal methods, static analysis, and AI.

Applicants should have a strong background in one or both of the following tracks:

PL track: Strong background in programming languages, compilers, or related areas, and an interest in combining AI with these techniques to solve SE problems at scale and with high quality.

Reinforcement Learning (RL) track: Strong background in LLM post-training (e.g., RLHF, instruction tuning, alignment, evaluation) and an interest in applying these techniques to SE.

Application Procedure:

Apply with your CV and at least two letters of recommendation. The letters must be submitted directly by the letter writers via email to fosse-hiring@microsoft.com. After submitting your application, you may also email your CV to fosse-hiring@microsoft.com. Applications will be considered on an ongoing basis. For any queries, please write to fosse-hiring@microsoft.com.

The positions are based in Bangalore, where we are co-located with Microsoft Research India. FoSSE provides an excellent research environment and a welcoming, diverse community. The team includes full-time researchers and engineers, along with postdocs, interns, and research fellows in fixed-term roles. Learn more about Microsoft’s commitment to Global Diversity and Inclusion here.

Responsibilities

• Working with FoSSE and other Microsoft colleagues on applied research problems at the intersection of PL, SE, and AI.

• Experimenting with and building tools that work on real world and large code bases.

Qualifications

Required qualifications:

• Ph.D. in Computer Science or a related discipline.

This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.

---

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.