<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<div dir="ltr">
<div class="gmail_quote">
<div dir="ltr">
<div>
<div>Recently there are several works which link session
types and functional programming. <br>
</div>
<div>Imperial College London has an open postdoc position on
session types and programming languages, including Haskell
and related theoretical studies. </div>
<div><br>
</div>
<div>-------------------------</div>
</div>
<div><br>
</div>
<div><br>
</div>
<div>Department of Computing, Imperial College London </div>
<div> </div>
<div>Research Associate (Post-doc, Full Time) £36,070 to
£43,350 per annum </div>
<div> </div>
<div>Fixed-term: the starting date: as soon as possible </div>
<div> the ending date: 19 May 2020 </div>
<div> </div>
<div>Professor Nobuko Yoshida, Imperial College London </div>
<div> </div>
<div>A post is funded by EPSRC, the UK science funding agency
and the </div>
<div>titles of the projects are "From Data Types to Session
Types: A Basis </div>
<div>for Concurrency and Distribution" and "Application
Customisation: </div>
<div>Enhancing Design Quality and Developer Productivity". </div>
<div> </div>
<div>The goal is to further develop the theory and practice of
session </div>
<div>types for structuring concurrent and distributed
software. </div>
<div> </div>
<div>The project has particular emphasis on putting theory
into practice, </div>
<div>by embedding session types in a range of programming
languages and </div>
<div>applying them to case studies; or developing the links
between </div>
<div>session types and other areas of theoretical computer
science. The </div>
<div>research programme includes collaboration with several
companies and </div>
<div>organisations: Amazon, Cognizant, Red Hat, ThoughtWorks,
as well as </div>
<div>November Group LLC and Weaveworks. </div>
<div> </div>
<div>The focus of Imperial College London Group is theories
and </div>
<div>applications of (Multiparty) Session Types
(JACM,POPL'08), which include: </div>
<div> </div>
<div>-- Erlang (CC'17), Go (CC'16,POPL'17), Haskell (POPL'16),
Scala </div>
<div>(ECOOP'16), Java (FASE'16,FASE'17), MPI
(OOPSLA'15,CC'15), C (FPL'16) </div>
<div>and Python (FOAC,LMCS,FMSD); or </div>
<div> </div>
<div>-- automata/model checking (POPL'15,CONCUR'15,TACAS'16,<wbr>FoSSaCs'17),
</div>
<div>linear logic (CONCUR'15) and bisimulations
(CONCUR'15,ESOP'16,LMCS) </div>
<div> </div>
<div>For more details, see <a href="http://mrg.doc.ic.ac.uk"
target="_blank">http://mrg.doc.ic.ac.uk</a> </div>
<div> </div>
<div>Candidates for the post-doc position will need to have
expertise in </div>
<div>either: </div>
<div> </div>
<div>1. programming language design and implementation; or </div>
<div>2. formal semantics, type theory and concurrency theory </div>
<div> </div>
<div>Different positions will be suitable for different points
on the </div>
<div>theory/practice spectrum. We will be especially
interested in </div>
<div>candidates with a combination of theoretical and
practical skills. </div>
<div> </div>
<div>The contact person is </div>
<div> </div>
<div>Professor Nobuko Yoshida, Imperial College London </div>
<div>(<a href="mailto:N.Yoshida@imperial.ac.uk"
target="_blank">N.Yoshida@imperial.ac.uk</a>) </div>
<div> </div>
<div>Details: <a
href="http://www.jobs.ac.uk/job/AWU532/research-associate"
target="_blank">http://www.jobs.ac.uk/job/<wbr>AWU532/research-associate</a></div>
</div>
</div>
<br>
</div>
</body>
</html>