[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Our Department (Informatics, Sussex) is looking for a Lecturer (permanent, full time) in *Foundations of Computation* . For full details and how to apply see <http://www.sussex.ac.uk/jobs/BM147/Lecturer_permanent_full_time/> Below you find the main text of the ad. Cheers, Bernhard ----------------------------------------------------------------------- Salary range: £27,466 to £40,335 pa Expected start date: 1 September 2008 or soon after The Department (graded 5 in all RAEs to date) is seeking to appoint a Lecturer in Foundations of Computation. The successful applicant will have high quality peer reviewed publications, relevant teaching experience, and be prepared to contribute to the administrative tasks of the department. The Foundations group has a strong portfolio of research in developing semantic theories and mathematical models for languages and systems. Applicants should have research interests in one or more of the following areas: programming language theory, program logics, theory of quantum computation, type theory, domain theory, concurrency, or theory of pervasive/ubiquitous computing. Informal enquiries may be addressed to: Dr Ian Mackie, tel 01273 873117, email [EMAIL PROTECTED]; Prof John Carroll (Head of Department), tel 01273 678029, email [EMAIL PROTECTED] When completing the University application form please make sure you include your CV and list of publications. Closing date for applications: 31 March 2008 Interview date: 2 May 2008