Research Assistant / Associate

College of Science and Engineering

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 20^th 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, the University of Edinburgh, and Imperial College London, and includes collaboration with Amazon, Cognizant, Red Hat, VMware, and the Ocean Observatories Initiative.

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.

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

Apply online via the 'Apply’ button below.

Closing date: 19 May 2013

The University is committed to equality of opportunity in employment.

The University of Glasgow, charity number SC004401.