Senior Research Sciences

The PROSE team is advancing the state of the art in program synthesis and shipping these innovations through flagship Microsoft products that impact millions of users worldwide. These products include the world’s most popular spreadsheet software Excel, the industry-leading IDEs Visual Studio and Visual Studio Code, GitHub Copilot, the power platform suite of products including Power BI, PowerApps, PowerAutomate, and other software tools including Azure Data Studio, Azure Data Monitor, Azure Data Factory, PowerShell, and SQL Server Management Studio. The application domains range from developer productivity, business user low-code/no-code scenarios to even programming education. To power these features PROSE has developed a powerful and flexible framework for program synthesis that leverages techniques from both logical reasoning and machine learning (including LLMs) and combines them in unique ways to synthesize programs automatically. This approach has been recognized with frequent papers at top-tier conferences and awards, including best paper and test-of-time awards. We invite researchers with machine learning, programming language, or software engineering research to apply for a full-time Senior Researcher position on the PROSE team at Microsoft. The recent success of large language models (LLMs) creates an opportunity to take a qualitative step forward, to extend dramatically the reach of what users can do with Copilots. Our team provides a unique opportunity to work at the intersection of cutting-edge AI research and real-world impact, solving customer problems on a global scale. Researchers design and carry out the research underlying state-of-the-art systems and work together with world-class engineers to implement these systems in production.