[TYPES/announce] Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1

[Andy Gordon (RESEARCH)]

The Calc Intelligence team https://aka.ms/CalcIntel at MSR Cambridge is hiring postdocs to bring intelligence to end-user programming, and in particular to spreadsheets.

We work in deep collaboration with the Excel team to bring new data types and other PL features to Microsoft Excel.

We seek a postdoc with deep expertise in PL, such as type systems, and with an interest to work on end-user programming.

Informal enquiries may be made to myself adg at microsoft.com or Simon Peyton Jones simonpj at microsoft.com

Regards, Andy