Research Assistantship



       User Interface Design for Mechanized Theorem Provers

                     University of Glasgow

Applications are invited for a Research Assistant post available under the
EPSRC grant `User Interface Design for Mechanized Theorem Provers'.

This project will investigate the design of user interfaces to theorem
proving tools such as HOL, ERIL, or LP.  The project will employ methods of
research into Human-Computer Interaction (HCI) - including cognitive science
and the psychology of programming - to formulate and test hypotheses about
the effectiveness of user interface features for theorem provers.  The aim is
to produce design principles for interfaces that will help increase the
practical usability of theorem proving systems. A distinctive feature of the
project is its interdisciplinary nature, with investigators in HCI (Phil
Gray) and theorem proving (Tom Melham and Muffy Thomas).

The post requires someone with a Ph.D. or comparable experience.  Ideally,
the appointed candidate will be an expert in the relevant HCI techniques
(including empirical evaluation), know a bit about logic and formal
reasoning, and be able to learn about theorem proving quickly.  Applicants
who are primarily theorem proving experts but willing to master the relevant
methods of HCI will also be considered. In any case, good programming ability
is required for rapid prototyping of interface ideas.

The post is for three years, starting on or after 1 November 1994 (the actual
start may be negotiated). The appointment will be on the RA 1A Scale (13,941 -
17,813 pounds p.a.) with an annual increment. The appointed researcher will be
equipped with a workstation and have access to funds for travel.

The Computing Science Department at Glasgow has an excellent research
environment.  The Department received the highest possible rating of 5 in
the most recent UK research assesment exercise. There are large and active
research groups in formal methods and HCI, with links to psychology and
graphics. The city of Glasgow is an exciting place to live, with a rich and
varied offering of theatre and the arts. There is mixture of modern and
grand Victorian architecture (and affordable housing) and the Scottish
Highlands and Islands are within easy reach.

Written applications should be sent to Dr Tom Melham, Department of Computing
Science, The University of Glasgow, Scotland, G12 8QQ, to arrive no later than
30 September 1994.  Your applicantion should include a covering letter
outlining your qualifications for the position, a Curriculum Vitae, a complete
list of publications, and the names and addresses of two referees.  Informal
inquiries are also welcome - these should also be sent to Tom Melham,
preferably by electronic mail addressed to tom@dcs.glasgow.ac.uk.

The University of Glasgow is an Equal Opportunities Employer.