arpa-bboard@ucbvax.ARPA (05/04/85)
From: BUNDY HPS (on ERCC DEC-10) <Bundy%edxa@ucl-cs.arpa>
--------
ADVERTISEMENT
UNIVERSITY OF EDINBURGH
JOINT LECTURESHIP IN
ARTIFICIAL INTELLIGENCE AND COMPUTER SCIENCE
MECHANISED REASONING
Applications are invited for a joint post of lecturer in the Departments of
Computer Science and Artificial Intelligence. This is an IT1 post, funded
under the UGC Information Technology Initiative.
The appointee will teach in both Departments and will conduct research into
mechanised reasoning. Current research interests include: logic programming
and the automation of mathematical reasoning in the Artificial Intelligence
Department; and the semantics of computation, programming logics and machine-
assisted reasoning in the Computer Science Department. The appointee will be
expected to interact with the researchers involved in these projects and to
promote interaction between them, and will be encouraged to become directly
involved in the projects, where appropriate.
Starting salary at appropriate point on the scale 7,520 - 14,925 pounds, with
placement according to qualification and experience.
Applications by letter (two copies) including a statement of the candidate's
research experience, a curriculum vitae and the names of three referees should
be sent to:
The Secretary
University of Edinburgh
Old College
South Bridge
Edinburgh EH8 9YL
from whom further particulars may be obtained.
The closing date for applications is 3rd May 1985.
--------