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 desirable. Enquiries about the project should be addressed to Dr Olaf Chitil, O.Chitil@kent.ac.uk <mailto:O.Chitil@kent.ac.uk?subject=Reply%20sent%20viajobs.ac.uk%20ref:R05/11> and further information can be found at http://www.cs.kent.ac.uk/people/staff/oc/. *Closing date for receipt of completed applications is: 12 noon Friday, 7 January 2005. Note that this project grows out of my previous work with Colin Runciman and Malcolm Wallace at York on the Haskell tracer Hat (http://www.haskell.org/hat). While the project itself is theoretical and more general, knowledge of Haskell would be beneficial. Olaf *