[TYPES/announce] Post-doc positions and PhD studentship in Glasgow

Simon Gay Simon.Gay at glasgow.ac.uk
Fri Apr 19 05:34:15 EDT 2013

In association with the project

   From Data Types to Session Types: A Basis for Concurrency and Distribution

there are 2 post-doc positions and a PhD studentship at the University 
of Glasgow.

There are also post-doc positions and PhD studentships on the same 
project at the University of Edinburgh and Imperial College London, 
which are being advertised separately.

Details of the post-doc positions are below, including the URL for 
To apply for the PhD studentship (restricted to UK or EU residents), use 
the University of Glasgow system at


In either case, please contact me if you have any questions; for 
example, for more details of the project or advice on PhD applications.

Simon Gay


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

Research Assistant / Associate
Ref: 003919
Grade 6/7: £26,264 - £29,541 / £32,267 - £36,298 per annum

We have two positions for research assistants / associates in the
theory, design and implementation of programming languages. These
positions are 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 5 years from 20th May 2013.

The positions are available for 2 years in the first instance, from
1st June or as soon as possible thereafter, with the possibility of

*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 the Ocean Observatories Initiative.

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

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

Apply online at:


Closing date: 19 May 2013

The University is committed to equality of opportunity in employment.

The University of Glasgow, charity number SC004401.

Dr Simon Gay                    School of Computing Science
Senior Lecturer in              Sir Alwyn Williams Building
Computing Science               University of Glasgow
                                 Glasgow G12 8QQ, UK
Phone: +44 141 330 6035
Fax:   +44 141 330 4913
Email: Simon.Gay at glasgow.ac.uk
Web:   www.dcs.gla.ac.uk/~simon
Skype: SimonJGay

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130419/31ccc289/attachment-0001.html>

More information about the Types-announce mailing list