[TYPES/announce] Research Assistant/Associate Position at Department of Computing, Imperial College London

[Yoshida, Nobuko]

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 (the starting date is flexible)
Closing Date: 30th June 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. The starting date is also flexible.

Please contact with Nobuko Yoshida (n.yoshida at 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/ENG01270/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 (JACM,POPL'08) which include:

-- Go (ECOOP'20,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 (ECOOP'20), 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
(n.yoshida at imperial.ac.uk)

The candidate is welcome to contact her.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200531/d450f312/attachment-0001.html>