The Coq mailing list

[Susan Bates <susan.bates AT durham.ac.uk>]

UNIVERSITY OF DURHAM

DEPARTMENT OF COMPUTER SCIENCE

Chairs, Readers and Lecturers

The Department of Computer Science at the University of Durham is to 
make up to 10 appointments at the level of Chair, Reader and Lecturer. 
These are non-fixed-term positions and are tenable from 1st January 2004 
or from a mutually acceptable date thereafter.

Applicants should have research interests in software engineering, 
distributed computing or theoretical computer science (under a broad 
interpretation), although strong candidates with research interests in 
other areas of Computer Science are welcome to apply.  Candidates with 
research interests relating to e-Science and inter-disciplinary research 
are particularly encouraged to apply.  Indeed, one Lectureship will be 
reserved exclusively for such a candidate.

The Department’s web-pages can be found at:

http://www.dur.ac.uk/computer.science

and further details as regards the positions at:

http://www.dur.ac.uk/Personnel/vacancies/A2401.htm

Potential candidates are strongly encouraged to contact Professor Iain 
Stewart (Head of Department) for informal discussions:
e-mail: 
i.a.stewart AT durham.ac.uk,
 tel: +44 (0)191 334 1720.

The closing date for applications is 1st November 2003.