The Coq mailing list

[Lorenzo Gheri <lor.gheri AT gmail.com>]

Dear All,

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: n.yoshida AT imperial.ac.uk

Please find the full detail of the open position below.

Best,

Lorenzo

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

Department of Computing, Imperial College London

Research Assistant/Associate Position (Full Time)

36,394 GBP to 49,210 GBP per annum

Reference:

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 (n.yoshida AT imperial.ac.uk),

Imperial College London if you would like to apply to the position to have informal discussions.

Details:

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

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

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 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, http://mrg.doc.ic.ac.uk/publications/zooid-paper/)

-- 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 (https://epsrc-stardust.github.io/)

-- AppControl (https://dsbd-appcontrol.github.io/people.html)

The candidate is welcome to discuss the details about the above project(s)

with the contact person:

Professor Nobuko Yoshida, Imperial College London

(n.yoshida AT imperial.ac.uk)