[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]),
Imperial College London if you would like to apply to the position to have
informal discussions.
Details:
https://urldefense.com/v3/__https://www.imperial.ac.uk/jobs/description/ENG01832/research-assistant-associate__;!!IBzWLUs!Bli8ufJJJ7qTrAUMSwKCAM50W0Ea948jAD5zNsfkvxjdcilxV_5MRiaw5A7tad4fjQg7BzuGVjc2_w$
------------------------------------------------------------
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
https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk__;!!IBzWLUs!Bli8ufJJJ7qTrAUMSwKCAM50W0Ea948jAD5zNsfkvxjdcilxV_5MRiaw5A7tad4fjQg7BzsKplNdGQ$
.
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,
https://urldefense.com/v3/__http://mrg.doc.ic.ac.uk/publications/zooid-paper/__;!!IBzWLUs!Bli8ufJJJ7qTrAUMSwKCAM50W0Ea948jAD5zNsfkvxjdcilxV_5MRiaw5A7tad4fjQg7BztU6Mfusw$
)
-- 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://urldefense.com/v3/__https://epsrc-stardust.github.io/__;!!IBzWLUs!Bli8ufJJJ7qTrAUMSwKCAM50W0Ea948jAD5zNsfkvxjdcilxV_5MRiaw5A7tad4fjQg7BzvGQEnGcQ$
)
-- AppControl
(https://urldefense.com/v3/__https://dsbd-appcontrol.github.io/people.html__;!!IBzWLUs!Bli8ufJJJ7qTrAUMSwKCAM50W0Ea948jAD5zNsfkvxjdcilxV_5MRiaw5A7tad4fjQg7BzsmobkPpA$
)
The candidate is welcome to discuss the details about the above project(s)
with the contact person:
Professor Nobuko Yoshida, Imperial College London
([email protected])
