Lecturer in Computer Science ("Formal Foundations") at Leicester

The successful candidate will have a strong or promising research record in computer science, with a background in formal foundations (either algorithms and complexity, or semantics of programming or modelling languages), and will be able to contribute to undergraduate and postgraduate teaching and supervision in software engineering.

Closing Date: Friday 1 May 2009. Starting date: 1 September 2009. For more information, see http://www.cs.le.ac.uk/ or the advertisement at http://www.le.ac.uk/personnel/jobs/.