Lectureship in Computer Science

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



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
environment, and have a strong research record and potential. There is
no restriction regarding the area of research, and applicants with
expertise in any area of Computer Science, and not just those listed
above, are welcomed.

The new lecturer will be required to teach at undergraduate and
postgraduate level, and to perform administrative duties as directed
by the Head of Department. There will be ample scope for a person of
energy, drive and ambition to assume a rewarding role in a young and
dynamic department.

Initial salary, dependent upon qualifications and experience, will be
on the Lecturer Grade A scale 15,154 to 19,848 p.a.

Candidates who are interested in the lectureship are invited, if they
so wish, to contact Professor Iain Stewart (telephone +44 (0)1792
295397, e-mail i.a.stewart@swansea.ac.uk) or Dr Rick Thomas (telephone
+44 (0)116 252 3411, email rmt@mcs.le.ac.uk), who would be pleased to
discuss the lectureship further.  Information is also available on the
WWW [http://www.mcs.le.ac.uk].

Further particulars and application forms are available from the 

Personnel and Planning Office (Academic Appointments), 
University of Leicester, 
University Road, 
LE1 7RH, 
United Kingdom.

Telephone +44 (0)116 252 2758. 

The closing date for applications is 29th March 1996. Please quote
reference A5058.