[TYPES/announce] PhD studentship in Programming Languages at the University of Glasgow

Simon Gay Simon.Gay at glasgow.ac.uk
Wed Apr 29 05:28:48 EDT 2015


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

Title: Theory, Design and Implementation of Programming Languages

Supervisor: Dr Simon Gay

A PhD studentship is available in the theory, design and implementation
of programming languages. This studentship is associated with the
project "From Data Types to Session Types: a Basis for Concurrency and
Distribution" (short title: ABCD), which is a Programme Grant funded
by EPSRC for 5 years from 20th May 2013.

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.



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

The project includes a variety of work ranging from programming
language semantics and type theory, through programming language
design and implementation, to application and evaluation of new
programming languages and language features. The exact work carried
out during the PhD will depend on the interests and skills of the
student.

Further information about the ABCD project can be found on the EPSRC
web site at
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K034413/1

and on the project web site at
http://groups.inf.ed.ac.uk/abcd/



*Dates*

The studentship is available with a starting date of 1st October
2015. The application deadline is 31st May.



*Eligibility and application procedure*

Candidates for this studentships must be either a UK citizen, or an EU
citizen who has been resident in the UK for at least 3
years. Candidates must also have, or expect to obtain, at least an
upper second class degree in computer science or a closely related
subject. Candidates with a lower second class degree and an MSc will
also be considered.

Applications should be submitted through the University of Glasgow
online application system:
http://www.gla.ac.uk/research/opportunities/howtoapplyforaresearchdegree/

Please also contact Dr Simon Gay <Simon.Gay at glasgow.ac.uk> to discuss
your application.



*Further Information*

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



Closing date: 31st May 2015





More information about the Types-announce mailing list