Join Microsoft's CoreAI team as a Postdoctoral Researcher in the Future of Scalable Software Engineering (FoSSE) group. This applied research role focuses on leveraging AI and formal methods to address real-world software engineering challenges within massive codebases. Engage in practical research, collaborate with industry leaders, and contribute to areas like code migration, translation, and static analysis.

This position offers a unique opportunity to work at the nexus of programming language design, formal methods, static analysis, and cutting-edge AI techniques. Postdoctoral fellows typically join for a 1-2 year term, receiving comprehensive guidance and mentorship from experienced professionals within a supportive and diverse research community.

Contribute to applied research initiatives within the FoSSE team and collaborate with Microsoft colleagues on problems spanning programming languages, software engineering, and artificial intelligence.

Develop and experiment with tools designed to analyze and process real-world, large-scale code repositories, pushing the boundaries of SE solutions.

A Ph.D. in Computer Science or a related technical field is a prerequisite for this position.

Candidates should possess a strong foundation in one or both of the following areas: Programming Languages (PL) track, focusing on languages, compilers, and AI integration for SE, or Reinforcement Learning (RL) track, emphasizing LLM post-training techniques like RLHF, instruction tuning, and alignment for SE applications.

Applications are considered on a rolling basis, and this position will remain open until filled. Interested candidates should submit their CV along with at least two letters of recommendation, which must be sent directly by the recommender to fosse-hiring@microsoft.com.