Applications in the area of the Functional Programming (FP) lab are strongly encouraged! In particular, the FP lab is keen to receive applications from candidates with an excellent publication record (for example, papers in leading international venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and the ability to secure external funding to support their research.
The deadline for applications is 2nd August 2019. The advert mentions some specific research areas, but the positions are open to applicants from any area of Computer Science.
-- Graham Hutton and Thorsten Altenkirch