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)
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