caml-list - the Caml user's mailing list
 help / Atom feed
From: Francisco Ferreira <>
Subject: [Caml-list] Research Assistant/Associate at Department of Computing, Imperial College London
Date: Thu, 26 Aug 2021 15:47:21 +0100
Message-ID: <> (raw)

Department of Computing, Imperial College London

Research Assistant/Associate Position (Full Time)
36,394 GBP to 49,210 GBP per annum

Fixed-term: 3 years
Starting date: as soon as possible
Closing Date: 16th September 2021

The Research Assistant will work under the EPSRC Established Career
Fellowship Project, POST: Protocols, Observabilities and Session Types
and/or other EPSRC projects (see below).

Please contact with Nobuko Yoshida (,
Imperial College London if you would like to apply to the position to
have informal discussions.



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

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 are especially interested in candidates
with a combination of theoretical and practical skills.

For more details, see

The focus of Imperial College London Group is theories and
applications of session types which include:

-- Go, Rust, TypeScript, Scala, F*, F#, Haskell, OCaml, Java, Erland,
MPI-C and Python;

-- mechanisation of session types meta-theory (Coq, Isabelle, Agda,
etc) (PLDI'21 Zooid,

-- session types theories, automata theories, game semantics,
linear logic; and

-- other applications such as blockchains and robotics

The candidate will work on POST and/or other related projects

-- Stardust (
-- AppControl (

The candidate is welcome to discuss the details about the above project(s)
with the contact person:

Professor Nobuko Yoshida, Imperial College London

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox