[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
