[ 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 .


Reply via email to