[TYPES/announce] PostDoc Position and PhD Studentships - Theory and Applications of Session Types - Glasgow, Scotland

[Simon Gay]

In association with the project

   From Data Types to Session Types: A Basis for Concurrency and 
Distribution http://groups.inf.ed.ac.uk/abcd/

there is a post-doc position (18 months) and two PhD studentships (3.5 
years) at the University of Glasgow.

Details of the post-doc position is below, including the URL for 
applications.

To apply for the PhD studentships (restricted to UK or EU residents), 
use the University of Glasgow system at

http://www.gla.ac.uk/schools/computing/research/postgraduate/applications/

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

School of Computing Science

College of Science and Engineering

Ref: 008418

Salary: Grade 6 / 7 £26,527 – £29,837 / £32,590 - £36,661 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 5 years from 20th May 2013. 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 (Dr 
Simon Gay), the University of Edinburgh (Professor Philip Wadler), and 
Imperial College London (Professor Nobuko Yoshida), and includes 
collaboration with Amazon, Cognizant, Red Hat, VMware, and the Ocean 
Observatories Initiative.

The successful candidate 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.

Informal enquiries may be made to Dr Simon Gay (Simon.Gay at glasgow.ac.uk).

This position is available from 1st May 2014 or as soon as possible 
thereafter, and has funding until 31 October 2015.

Apply online at: http://bit.ly/1s2K8L6

Closing date: 30 April 2014

The University has recently been awarded the Athena SWAN Institutional 
Bronze Award.

The University is committed to equality of opportunity in employment.

The University of Glasgow, charity number SC004401.