[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Reminder: the deadline for these positions is December 1
https://aka.ms/CalcIntel
-----Original Message-----
From: Types-announce <[email protected]> On Behalf Of
Andy Gordon (RESEARCH)
Sent: 22 October 2018 11:08
To: [email protected]
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 [email protected] or Simon Peyton
Jones [email protected]
Regards, Andy
