From: Lorenzo Gheri <email@example.com>
we are hiring a Research Assistant/Associate at the Mobility Reading Group,
Imperial College London. We welcome applicants with strong interest in
programming language mechanisation, design and implementation, formal
semantics, type theory and concurrency theory.
Interested candidates are encouraged to send an informal message to Prof.
Nobuko Yoshida: firstname.lastname@example.org
Please find the full detail of the open position below.
Department of Computing, Imperial College London
Research Assistant/Associate Position (Full Time)
£36,045 -- £48,340 per annum
Fixed-term: 2 years (with a possible 24 month extension)
Starting date: as soon as possible (the starting date is flexible)
Contact: Nobuko Yoshida (email@example.com)
The Research Assistant will work under the EPSRC Established Career
Fellowship Project, POST: Protocols, Observabilities and Session Types.
Imperial College London provides a flexible arrangement to be able to start
and work remotely until we reopen the campus. It is also flexible for the
Please contact Nobuko Yoshida (firstname.lastname@example.org), Imperial College
London if you would like to apply to the position to have informal
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 organisations.
Candidates for the postdoc position will need to have expertise in either:
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 http://mrg.doc.ic.ac.uk.
The focus of Imperial College London Group is theories and applications of
(Multiparty) Session Types which include:
-- Go, Rust, TypeScript, Scala, F*, F#, Erlang, Haskell, OCaml, Java, MPI-C
-- session types theories such as Automata Theories, Game Semantics,
Implicit Complexity, Linear Logic and Concurrency Theory
-- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc)
-- other applications such as blockchains and robotics
The contact person is
Professor Nobuko Yoshida, Imperial College London
Closing date: 29th March 2021, please contact Nobuko Yoshida (
email@example.com) earlier if you would like to apply to the
position even if you wish to start later -- email accepted anytime from
Last updated: Dec 08 2021 at 08:24 UTC