Job: post doc researcher in type systems at LFCS, Edinburgh
POSTDOCTORAL RESEARCHER IN TYPE SYSTEMS FOR PROGRAMMING LANGUAGES Laboratory for Foundations of Computer Science Division of Informatics University of Edinburgh 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 derivations. - To investigate applications of the new type systems for compiler technology. To explore applications to non-functional programming, e.g., OOP. The full project description at http://www.dcs.ed.ac.uk/home/mxh/epsrc_project.ps provides background material and further details. Candidates: =========== 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. Further details and application procedure: ========================================== See http://www.personnel.ed.ac.uk/FURPARTS/Acrel/306739.htm for further details and application procedure. Applications must be via the Personnel Department, 9-16 Chambers Street, Edinburgh, EH1 1HT. UK Tel: +44 (0)131 650 2260 Fax: +44 (0)131 650 6509 Quote reference number: 306739 Closing date is 3 October 2000. We cannot guarantee to consider late applications. Start date is as soon as possible after 1 October 2000. Informal enquiries may be made to Dr Martin Hofmann by email to mxh@dcs.ed.ac.uk
participants (1)
-
David Aspinall