Type Systems Postdoc in LFCS, Edinburgh

[ Please pass this message on to anyone who may be interested.
  Apologies for duplicates.   - David.  ]


     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 
Mayfield Road 
EH9 3JZ 

Salary scale  18731-22245 according to qualification. 

Project summary

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.

Application Procedure

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 Institute

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