Lectureship in Foundations at Sussex

The Department of Informatics at the University of Sussex is seeking to appoint a Lecturer in Software Systems or _Foundations_ . Closing date is March 5th. Note that this post is for Software Systems OR Foundations, so strong candidates with interests in Categorical Logic or/and Semantics (Domain Theory) are very welcome to apply. More info at http://www.sussex.ac.uk/Units/staffing/personnl/vacs/ vac667_668.shtml . Best, Bernhard --- Dr B Reus Dept. of Informatics, School of Science & Technology, University of Sussex