We have an opening for a post-doctoral research position at The
University of Edinburgh on Effect Handler Oriented Programming (EHOP)
funded by a UKRI Future Leaders Fellowship.
Candidates should have a background in programming languages with
experience of functional programming, formal semantics, and type
theory. Some experience with effect handlers and algebraic effects is
desirable, but not essential. The role will involve theory
(e.g. developing and reasoning about novel effect type systems
and algebraic theories) and practice (e.g. designing,
implementing, and evaluating implementations and applications of
effect handlers), and ample opportunity to engage with our
project partners (several of whom are deeply involved with the
development of OCaml).
The position is for three years starting in February 2022.
The EHOP project:
Job application details:
If you are interested then feel free to contact Sam Lindley (application
deadline: 1 November 2021).