caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh
@ 2021-10-07 11:40 Sam Lindley
  0 siblings, 0 replies; only message in thread
From: Sam Lindley @ 2021-10-07 11:40 UTC (permalink / raw)
  To: caml-list


I 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.

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 me (application
deadline: 1 November 2021).

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-10-07 11:40 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-07 11:40 [Caml-list] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh Sam Lindley

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror
	git clone --mirror

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ \
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:

AGPL code for this site: git clone