[TYPES/announce] Post-doc position in Programming Language Theory / Practice, Computing Science, University of Glasgow

[Simon Gay]

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

Research Assistant / Associate
Ref: 020019
Grade 6/7: £28,098 - £31,604 / £34,520 - £38,833 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 for 1 year, from 1st May or a date to be agreed.

*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:

http://www.jobs.ac.uk/job/BHP104/research-assistant-associate/

Online application system:

https://www22.i-grasp.com/fe/tpl_glasgow01.asp?newms=jj&id=94334&aid=14231

Closing date: 12 March 2018


The University of Glasgow, charity number SC004401.

[University of Glasgow: The Times Scottish University of the Year 2018]