[TYPES/announce] Lectureship in Foundations at Sussex

[Bernhard Reus]

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 Type Theory, Program Logics or/and  
Semantics  are very welcome to apply.

More info at  http://www.sussex.ac.uk/Units/staffing/personnl/vacs/ 
vac667_668.shtml .

Best,
   Bernhard