Email Gateway (Aug 27 2021 at 09:08): Email Gateway (Aug 27 2021 at 09:08):From: Lorenzo Gheri <lor.gheri@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@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@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:
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@imperial.ac.uk)
Last updated: Jul 15 2022 at 23:21 UTC