Recently there are several works which link session types and functional programming. Imperial College London has an open postdoc position on session types and programming languages, including Haskell and related theoretical studies. ------------------------- Department of Computing, Imperial College London Research Associate (Post-doc, Full Time) £36,070 to £43,350 per annum Fixed-term: the starting date: as soon as possible the ending date: 19 May 2020 Professor Nobuko Yoshida, Imperial College London A post is funded by EPSRC, the UK science funding agency and the titles of the projects are "From Data Types to Session Types: A Basis for Concurrency and Distribution" and "Application Customisation: Enhancing Design Quality and Developer Productivity". The goal is to further develop the theory and practice of session types for structuring concurrent and distributed software. The project has particular emphasis on putting theory into practice, by embedding session types in a range of programming languages and applying them to case studies; or developing the links between session types and other areas of theoretical computer science. The research programme includes collaboration with several companies and organisations: Amazon, Cognizant, Red Hat, ThoughtWorks, as well as November Group LLC and Weaveworks. The focus of Imperial College London Group is theories and applications of (Multiparty) Session Types (JACM,POPL'08), which include: -- Erlang (CC'17), Go (CC'16,POPL'17), Haskell (POPL'16), Scala (ECOOP'16), Java (FASE'16,FASE'17), MPI (OOPSLA'15,CC'15), C (FPL'16) and Python (FOAC,LMCS,FMSD); or -- automata/model checking (POPL'15,CONCUR'15,TACAS'16,FoSSaCs'17), linear logic (CONCUR'15) and bisimulations (CONCUR'15,ESOP'16,LMCS) For more details, see http://mrg.doc.ic.ac.uk Candidates for the post-doc position will need to have expertise in either: 1. programming language design and implementation; or 2. formal semantics, type theory and concurrency theory Different positions will be suitable for different points on the theory/practice spectrum. We will be especially interested in candidates with a combination of theoretical and practical skills. The contact person is Professor Nobuko Yoshida, Imperial College London (N.Yoshida@imperial.ac.uk <mailto:N.Yoshida@imperial.ac.uk>) Details: http://www.jobs.ac.uk/job/AWU532/research-associate <http://www.jobs.ac.uk/job/AWU532/research-associate>