[Haskell] Research Associate position available

[Olaf Chitil]

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 at kent.ac.uk 
<mailto:O.Chitil at 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
*