Logic List Mailing Archive

Research Associate, Canterbury

deadline: 2005-02-07

Research Associate
Computing Laboratory, University of Kent at Canterbury, UK
?19,460 - ?21,640 pa
Full-time and fixed term for 30 months, to start early 2005

The post is in association with the EPSRC project "A Theory of Tracing
Pure Functional Programs". The overall aim of the project is to develop a
semantical theory of tracing pure functional languages, eager and lazy,
including: tractable formal definitions of traces, views of traces and
fault location methods; theorems proving the correctness of the methods.
The theory will allow existing systems to be improved and novel systems to
be built. Candidates should have a good working knowledge of programming
language semantics, in particular operational semantics for functional
languages. A PhD degree in Computer Science (or related) is highly

Enquiries about the project should be addressed to Dr Olaf Chitil,
O.Chitil@kent.ac.uk, and further information can be found at

Closing date for receipt of completed applications is: 12 noon Friday, 7
January 2005.