[TYPES/announce] Lectureship at Sussex

[Bernhard Reus]

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 I.Mackie at sussex.ac.uk; Prof John Carroll (Head of  
Department), tel 01273 678029, email J.A.Carroll at sussex.ac.uk

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