Type Systems Postdoc in LFCS, Edinburgh
[ Please pass this message on to anyone who may be interested.
Apologies for duplicates. - David. ]
POSTDOCTORAL RESEARCHER IN TYPE SYSTEMS
FOR RESOURCE BOUNDED COMPUTATION
LFCS, Division of Informatics,
University of Edinburgh
The position is funded by the UK Engineering and Physical Sciences
Research Council (EPSRC) for 16 months. The position is available to
begin as soon as possible.
Laboratory for Foundations of Computer Science (LFCS)
within the Division of Informatics at the University of Edinburgh.
James Clerk Maxwell Building
The King's Buildings
Salary scale £18731-£22245 according to qualification.
The project has the following principal objectives:
* To design new type systems encompassing algorithms and uses of data
structures which fall into desirable feasible complexity classes, but
which are prohibited by current such systems.
* To extract explicit resource bounds and certificates from typing
* To investigate applications of the new type systems for compiler
* To explore applications to non-functional programming, e.g., OOP.
The full project description at
http://www.dcs.ed.ac.uk/home/da/resbnd/case.pdf provides background
material and further details.
All candidates should hold or soon complete a PhD in a related area of
Computer Science, for instance type systems, programming language
semantics, complexity theory related to programming languages,
compilation of functional programs.
Please complete and return the following documents to Recruitment, The
Personnel Department, 9-16 Chambers Street, Edinburgh EH1 1HT by the
closing date of 31 July 2001.
1. Application Form and the original of the Equal Opportunities
Monitoring Form (see
Please quote vacancy reference number 316572
2. Your Curriculum Vitae
3. Names and addresses of three researchers willing to provide a
We cannot guarantee to consider late applications.
Informal enquiries may be made to Dr David Aspinall by email to
Conditions of Employment
This is a full time position, contractually a 35 hour working week,
based on a 5 day working week. The pattern of working hours may vary
in accordance with the progress of the research and will be agreed
with the principal investigator. Annual leave entitlement is 30
working days per annum plus public holidays. The successful candidate
will report to the Head of Institute through the Project
Investigators, Prof. Sannella and Dr. Aspinall.
The Laboratory for Foundations of Computer Science (LFCS) is an
internationally renowned centre for research in Theoretical Computer
Science, notably in the areas of programming language theory, formal
specification and verification, and concurrency. Researchers at the
LFCS provide a strong theoretical background in the fields of
mathematical logic and complexity, programming language theory,
semantics, and type theory. The LFCS frequently hosts visiting
scholars from all over the world and provides a stimulating
environment for active research. Links with industrial partners have
led to a fruitful interplay between theoretical work and practical