[Caml-list] Research Assistant/Associate Position (Postdoc) at Imperial College London

[David Castro <david.castro.dcp@gmail.com>]

Hello,

We are looking for candidates for this position at Imperial College
London. The official text of the advertisement follows:

Department of Computing, Imperial College London

Research Assistant/Associate Position (Full Time)
35,477 GBP to 47,579 GBP per annum

Reference: ENG01270
Fixed-term: 2 years (with a possible 24 month extension)
Starting date: as soon as possible (no later than 1st October 2020)
Closing Date: 26th April 2020

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 re-open the campus (this depends on
your nationality and current living address).

Please contact with Nobuko Yoshida (n.yoshida@imperial.ac.uk),
Imperial College London if you would like to apply to the position to
have informal discussions. The application deadline is also
extendable.

------------------------------------------------------------

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 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 http://mrg.doc.ic.ac.uk.

The focus of Imperial College London Group is theories and
applications of (Multiparty) Session Types (JACM,POPL'08)
which include:

-- Go (POPL'19,ICSE'18,POPL'17,CC'16),
   Scala (PLDI'19,ECOOP'17,ECOOP'16), F# (CC'18), Erlang (CC'17),
   Haskell (CC'20,POPL'16), OCaml (SOC), Java (FASE'16,FASE'17),
   MPI-C (FPL'16,OOPSLA'15,CC'15) and Python (FOAC,LMCS,FMSD);

-- session types theories (ESOP'20,POPL'19,ESOP'19,ESOP'16,CONCUR'15),
   automata theories (CAV'19,CONCUR'19,FoSSaCs'17,TACAS'16,CONCUR'15,POPL'15),
   game semantics (POPL'19,FoSSaCs'19),
   Implicit Complexity (LICS'18) and
   linear logic (ESOP'18,FoSSaCs'18,CONCUR'15); or

-- mechanisation of session types meta-theory (Coq, Isabelle, Agda,
etc) (TACAS 20)

-- other applications such as blockchains (FSE'19) and robotics (ECOOP'19)

The contact person is

Professor Nobuko Yoshida, Imperial College London
(n.yoshida@imperial.ac.uk)

The candidate is welcome to contact her.

Details: https://www.imperial.ac.uk/jobs/description/ENG01270/research-assistant-research-associate