caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Research Assistant/Associate at Department of Computing, Imperial College London
@ 2021-08-26 14:47 Francisco Ferreira
  0 siblings, 0 replies; only message in thread
From: Francisco Ferreira @ 2021-08-26 14:47 UTC (permalink / raw)
  To: caml-list

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

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

only message in thread, other threads:[~2021-08-26 14:47 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-08-26 14:47 [Caml-list] Research Assistant/Associate at Department of Computing, Imperial College London Francisco Ferreira

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).