[TYPES/announce] Post-doc position in Glasgow

[Simon Gay]

[ This job requires someone with expertise in semantics and type  
theory, and may be of interest to readers of the Types list. SG ]

UNIVERSITY of GLASGOW

DEPARTMENT OF COMPUTING SCIENCE

RESEARCH ASSOCIATE (GRADE 7)

£29,139 - £32,796

REF: 13576/DPO/A3

We are seeking to appoint a Research Associate to work on the
EPSRC-funded project "Engineering Foundations of Web Services:
Theories and Tool Support". This is a collaborative project between
the University of Glasgow (Dr Simon Gay), Imperial College London (Dr
Nobuko Yoshida) and Queen Mary, University of London (Dr Kohei
Honda). The aims of the project are to develop programming languages,
methodologies and tools to support the development of distributed
software systems such as web services, based on recent research by the
principal investigators and others. The work in Glasgow will involve
theoretical research, the transfer of theoretical concepts into
practical programming language constructs, and the development of
software tools, especially in the form of Eclipse plug-ins.

You should have a PhD in computer science or a closely related
subject, with experience of research in programming language semantics
and strong software development skills. A full job description and
list of requirements can be found in the application pack (see
below). Informal enquiries can be made to Dr Simon Gay
(simon at dcs.gla.ac.uk).

The post is available from 1 January 2008 up to 31 October 2010 or
later.

Interviews for this position will be held during the week beginning
22 October 2007.

For an application pack, please see our website at www.gla.ac.uk.

Applications comprising applicant information form, CV, covering
letter, list of publications and names and contact details of two
referees should be sent to: Michelle Lazenby, Department of Computing
Science, University of Glasgow, 17 Lilybank Gardens, Glasgow G12 8QQ.

Please quote the reference number. Closing date: 21 September 2007.