[TYPES/announce] Two Research Assistant/Associate Positions at Imperial College London

[Yoshida, Nobuko]

Department of Computing, Imperial College London

Two Research Assistant/Associate Positions (Full Time)
34,397 GBP to 46,499 GBP per annum

Fixed-term:
Starting date: as soon as possible
Ending date: 31st January 2022 (with a possible 12 month extension)

Closing Date: 15th September 2019

Professor Nobuko Yoshida, Imperial College London

The post is funded by EPSRC, the UK science funding agency and the
titles of the projects are "From Data Types to Session Types: A Basis
for Concurrency and Distribution".

The goal is to further develop the theory and practice of session
types for structuring concurrent and distributed software.

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:

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 (POPL'16), OCaml (SOC), Java (FASE'16,FASE'17),
   MPI-C (FPL'16,OOPSLA'15,CC'15) and Python (FOAC,LMCS,FMSD);

-- process calculi (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

-- mechanisations of session types meta-theory (Coq, Isabelle, Agda, etc)

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

For more details, see http://mrg.doc.ic.ac.uk<http://mrg.doc.ic.ac.uk/>


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.

The contact person is

Professor Nobuko Yoshida, Imperial College London
(n.yoshida at imperial.ac.uk<mailto:n.yoshida at imperial.ac.uk>)

The candidate is welcome to contact her

Details:
https://www.jobs.ac.uk/job/BTY959/research-assistant-research-associate


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190724/d0c95dfc/attachment-0001.html>