Logic List Mailing Archive

Lectureship in Logic/TCS (3 years), Bath (England)

UNIVERSITY OF BATH

Lectureship (3 years)
Computer Science
Department of Computer Science

This post arises as a direct result of a Royal Society Industry Fellowship
awarded to Professor David Pym.

The Department is multi-disciplinary and has internationally renowned
research. Three main research areas are: Human Computer Interaction,
Mathematical Logic and Symbolic Computation, and Media Technology.
Additional research interests lie in the broad area of agents and
artificial intelligence.

The person appointed will be required to contribute to undergraduate and
postgraduate teaching in the areas of logic and theoretical computer
science. Applicants should normally hold a suitable PhD or have equivalent
research experience and show evidence of the ability to publish in
international journals or conferences and to obtain research funding.

Salary in the range ?27,989 to ?35,883 (Lecturer Grade B)

Informal enquiries to Professor Peter Johnson, Head of Department
(P.Johnson@bath.ac.uk; Tel +44(0)1225 383214, Fax +44(0)1225 383493).

More information about the Department can be found at:
http://www.bath.ac.uk/comp-sci/ Application forms and further particulars
may be obtained from the Dept of Human Resources, University of Bath,
Claverton Down, Bath, BA2 7AY, (tel. 01225 386873; fax 01225 386559;
e-mail H.M.Keogh@bath.ac.uk) or e-mail jobs@bath.ac.uk or phone the 24
hour answer-phone service on Bath (01225) 386924, or textphone (01225)
386039 quoting the reference number: 04/396

Closing date for applications: Wednesday 22nd December 2004