lectureships at Durham UK

Please find enclosed below an advertisement for lectureships at the
Department of Computer Science, Durham, UK.  The Computer-Assisted
Reasoning Group in the department is working on type theory, logic, and
their applications.  You can find the web page of the group from URL:


We would like to encourage applications from candidates in the related
research areas. 

Best regards,
Zhaohui Luo.

Professor Zhaohui Luo             Email: Zhaohui.Luo@durham.ac.uk
Department of Computer Science    URL: http://www.dur.ac.uk/~dcs0zl/
University of Durham              Tel: (+44)191-3743657
South Road, Durham DH1 3LE, U.K.  Fax: (+44)191-3742560                      


		    University of Durham 
		Lecturers in Computer Science

The Department of Computer Science is seeking to recruit at least two new
academic staff at lecturer level as the preliminary part of a new
ambitious expansion plan. Applications for any area of Computer Science
will be welcomed as a drive to expand the research and teaching within the
department. We are seeking to recruit both young researchers who want to
take the first steps in their academic career and more experienced staff
who want to further develop their research and teaching.

The department offers a thriving and stimulating research environment with
many opportunities for those starting out in their research careers. The
department currently has seven established research groups (AI Planning,
Distributed Systems, Reverse Engineering and Software Visualisation,
Computer Assisted Reasoning, Software Evolution, Data Mining and Social
Informatics) and we are seeking to both extend and supplement these

The department's current research and teaching can be seen at

For an informal discussion contact the head of department, Professor
Malcolm Munro on 0191 374 2634 or email Malcolm.Munro@durham.ac.uk. 

Further particulars can be seen at
http://www.dur.ac.uk/Personnel/vacancies/A1229.html. Closing date for
completed applications is 12th March 2001. Please quote reference number