[ 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,045 -- £48,340 per annum
Reference: ENG01520
Fixed-term: 2 years (with a possible 24 month extension)
Starting date: as soon as possible (the starting date is flexible)
Contact: Nobuko Yoshida ([email protected])
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. It is also flexible for the starting
date.
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://www.imperial.ac.uk/jobs/description/ENG01520/research-assistant-research-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
(Multiparty) Session Types which include:
-- Go, Rust, TypeScript, Scala, F*, F#, Erlang, Haskell, OCaml, Java, MPI-C and
Python;
-- session types theories such as Automata Theories, Game Semantics, Implicit
Complexity, Linear Logic and Concurrency Theory
-- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc)
-- other applications such as blockchains and robotics
The contact person is
Professor Nobuko Yoshida, Imperial College London
([email protected])
Closing date: 29th March 2021 (please contact with Nobuko Yoshida
([email protected]) earlier if you would like to apply to the position
even you wish to start later -- I will accept e-mail anytime from today).
