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

[Andy Gordon (RESEARCH)]

Reminder: the deadline for these positions is December 1

https://aka.ms/CalcIntel 

-----Original Message-----
From: Types-announce <types-announce-bounces at LISTS.SEAS.UPENN.EDU> On Behalf Of Andy Gordon (RESEARCH)
Sent: 22 October 2018 11:08
To: types-announce at lists.seas.upenn.edu
Subject: [TYPES/announce] Postdoc positions in spreadsheet research at MSR Cambridge, deadline December 1

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