# \[Job\] Postdoc position in Effect Handler Oriented Programming

**URL:** <https://discuss.ocaml.org/t/job-postdoc-position-in-effect-handler-oriented-programming/8597>\
**Category:** Jobs\
**Created:** [October 8, 2021, 3:35pm UTC](https://discuss.ocaml.org/t/job-postdoc-position-in-effect-handler-oriented-programming/8597 "2021-10-08T15:35:30Z")\
**Posts on this page:** 1\
**Showing post:** 1

<div class="post-metadata">

**Author:** ![dhil](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/dhil/32/3264_2.png) [@dhil](https://discuss.ocaml.org/u/dhil)\
**Post date:** [October 8, 2021, 3:35pm UTC](https://discuss.ocaml.org/t/job-postdoc-position-in-effect-handler-oriented-programming/8597/1 "2021-10-08T15:35:30Z")

</div>

Hi everyone,

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:

[https://effect-handlers.org/](https://effect-handlers.org/)

Job application details:

> **[Research Associate](https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2087/)**
>
> We invite candidates to apply for a Research Associate within the School of Informatics. Effect handlers allow programmers to define, customise, and compose a range of crucial programming features ranging from concurrency to probability, inside the...

If you are interested then feel free to contact [Sam Lindley](mailto:sam.lindley@ed.ac.uk) (application  
deadline: 1 November 2021).

---

_[View the full topic](https://discuss.ocaml.org/t/job-postdoc-position-in-effect-handler-oriented-programming/8597)._