[TYPES/announce] Post-doc position at University of Glasgow, UK - PL foundations / session types

[Simon Gay]

[ This position is of interest to Types subscribers. Simon Gay ]



University of Glasgow
College of Science and Engineering
School of Computing Science

Research Assistant / Associate
Ref: 023680
Grade 6/7: £28,660 - £32,236 / £35,210 - £39,610 per annum

We have a position for a research assistant / associate in the
theory, design and implementation of programming languages. This
position is associated with the project "From Data Types to Session
Types: a Basis for Concurrency and Distribution", which is a Programme
Grant funded by EPSRC for 6 years from 20th May 2013.

The position is available from 1st February 2019 or a date to be agreed,
until the end of the project on 19th May 2020.

*Project Description*

Just as data types describe the structure of data, session types
describe the structure of communication in concurrent and distributed
systems. Our project has particular emphasis on putting theory into
practice, by embedding session types in a range of programming
languages and applying them to realistic case studies. The project is
joint between the University of Glasgow, the University of Edinburgh,
and Imperial College London, and includes collaboration with Amazon,
Cognizant, Red Hat, VMware and Estafet.

*Principal Duties*

The successful candidates will be responsible for conducting research
on the theory of session types, for designing programming languages
incorporating session types in order to support concurrent and
distributed programming, and for evaluating programming language
designs and implementations in relation to practical case studies
provided by the industrial collaborators.

You should have, or be close to completion of, a PhD in a relevant
area, or have comparable experience; an awarded PhD or equivalent
experience is necessary for appointment at Grade 7. You should have a
track record of publication and communication of research results, a
strong background in programming languages, including semantics, type
systems and implementation, and strong programming and software
engineering skills. It is desirable also to have one or more of the
following: a combination of theoretical and practical skills;
knowledge of the theory or practice of concurrent and distributed
systems; knowledge of the theory of session types and linear logic.

We seek applicants at an international level of excellence. The School
of Computing Science at the University of Glasgow has an international
research reputation, and Glasgow, Scotland's largest city, offers an
outstanding range of cultural resources and a high quality of life.

It is the University of Glasgow’s mission to foster an inclusive 
climate, which ensures equality in our working, learning, research and 
teaching environment.

We strongly endorse the principles of Athena SWAN, including a 
supportive and flexible working environment, with commitment from all 
levels of the organisation in promoting gender equity.

For informal enquiries or further information about the project,
please contact Professor Simon Gay <Simon.Gay at glasgow.ac.uk>.

Online advert at jobs.ac.uk:

https://www.jobs.ac.uk/job/BOI966/research-assistant-associate

Glasgow University online application system:

https://www.gla.ac.uk/it/iframe/jobs/ (enter reference 023680)

Closing date: Friday 4th January 2019


The University of Glasgow, charity number SC004401.