Senior Software Engineer

The PRogram Synthesis using Examples (PROSE) team is a blended research and engineering team where engineers work side-by-side with researchers to do fundamental research while at the same time shipping 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, 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 experienced engineers who are ready for a new and very different challenge to apply for a full-time 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. Team members design and carry out the research underlying state-of-the-art systems and work together to implement these systems in production. To learn more about our approach and culture see this award talk on the story behind one of the team’s early innovations: the Flash Fill feature in Excel.    

Required Qualifications 

• 5+ years of professional experience in software development 

Preferred Qualifications 

• BA/BS or MS Degree in Computer Science or related technical field or equivalent additional years of professional experience in lieu of degree 
• Professional experience programming in C#, Typescript or Python 
• Must be able to work closely with other engineers and researchers on the team 
• Willingness to work with multiple products and technologies 
• Experience working with Roslyn analyzers or compilers is a plus 

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.

Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.

Responsibilities 

• Drive excellence in the team’s engineering systems to enable productivity of the entire team. 
• Work closely with both researchers and other engineers to deliver product features based on the team’s cutting-edge research.  
• Provide engineering guidance and mentorship to research fellows and other researchers on the team.