Research Fellowship Opportunity

99% of people who own computers do not know how to program, and even experts often struggle to code accurately. Through a new frontier in AI, program synthesis, we can help everyone generate programs that accomplish their tasks faster and more accurately, from users who have never written a line of code to professional developers. In program synthesis the computer programs itself. The user just needs to tell the synthesizer what they want—via examples or just in natural language—and the synthesizer generates the desired program. This provides huge productivity boosts in varied domains from data preparation to code editing.

The PROSE team is advancing the state of the art in program synthesis and shipping these innovations through flagship Microsoft products like Excel, Visual Studio, PowerShell, and SQL Server Management Studio. PROSE has developed a powerful and flexible framework for program synthesis that leverages techniques from both logical reasoning and machine learning and combines them in unique ways to synthesize programs automatically. This approach has been recognized with regular papers at top-tier conferences; a few of them won best paper and test-of-time awards.

Required qualifications:

• Either a current student finishing up an undergraduate or master’s degree in the next month or recent graduate in 2022.
• Strong programming skills

Preferred qualifications:

• Excellent communication skills
• A keen interest in both research and engineering    
• Background in programming languages/compilers or machine learning/AI

We are hiring Research Fellows for one-year appointments, extensible for another year with potential to develop into a full-time research track appointment.

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.

Fellows will actively contribute to state-of-the-art systems and research, collaborate with, and be mentored by expert engineers and researchers from a variety of backgrounds.

They will write code that ships in production to millions of users and write research papers that advance the field of program synthesis.