I have an opening for a
postdoctoral position in Cambridge with the European ERC Consolidator Grant project
TypeFoundry. This is a 2-year position, with the possibility of extension.
The TypeFoundry project aims to use recent developments in
proof theory and semantics, such as polarized type theory and
call-by-push-value, to identify the theoretical structures underpinning
bidirectional type inference.
Informal enquiries are welcome; please contact me at: <nk480@cl.cam.ac.uk>.
More details and an application form can be found at <https://www.jobs.cam.ac.uk/job/30485/>.
