Email Gateway (Aug 23 2022 at 08:35): Email Gateway (Aug 23 2022 at 08:35):From: Lorenzo Gheri <lor.gheri@gmail.com>
Department of Computing, Imperial College London
Research Assistant/Associate Position (Full Time)
35,477 GBP to 47,579 GBP per annum
Reference: ENG01270
Fixed-term: 2 years (with a possible 24 month extension)
Starting date: as soon as possible (no later than 1st October 2020)
Closing Date: 26th April 2020
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 (this depends on
the nationality and current living address).
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. The application deadline is also
extendable.
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:
programming language design and implementation; or
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 (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 (CC'20,POPL'16), OCaml (SOC), Java (FASE'16,FASE'17),
MPI-C (FPL'16,OOPSLA'15,CC'15) and Python (FOAC,LMCS,FMSD);
-- session types theories (ESOP'20,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
-- mechanisation of session types meta-theory (Coq, Isabelle, Agda, etc)
(TACAS 20)
-- other applications such as blockchains (FSE'19) and robotics (ECOOP'19)
The contact person is
Professor Nobuko Yoshida, Imperial College London
The candidate is welcome to contact her.
Details:
https://www.imperial.ac.uk/jobs/description/ENG01270/research-assistant-research-associate
Last updated: Apr 19 2024 at 12:27 UTC