Post Doc Researcher

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.

Required qualifications: