Lectureship in Computer Science

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

LEICESTER UNIVERSITY, UK,

DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE

Lectureship in Computer Science

Applications are invited for a Lectureship in Computer Science in the
Department of Mathematics and Computer Science. This post is tenable from 1
October 1996 or as soon as possible thereafter.

The Department of Mathematics and Computer Science is divided into
four groups: Pure Mathematics, Applied Mathematics, Computer Science
and Statistics. The Computer Science Group has recently appointed
three new lecturers, and will consist of nine members of staff when
Iain A. Stewart takes up his appointment as Professor of Computer
Science in March 1996. This lectureship is intended to strengthen the
group with regard to both teaching and research. The group aims to
expand even further in the near future.

The Computer Science Group is firmly research oriented and current
research interests include: artificial intelligence and expert
systems; categorical logic; complexity theory; concurrency theory;
fault-tolerant, real-time and dependable systems; finite model theory;
formal languages and automata theory; formal methods for software
development and programming language design; information systems;
software engineering; type theory. The successful applicant will be
ambitious, able to develop their own research within a multi-faceted