[ 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)
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 ([email protected]),
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:
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 (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
([email protected])
The candidate is welcome to contact her.
Details:
https://www.imperial.ac.uk/jobs/description/ENG01270/research-assistant-research-associate
