I would be very grateful if you could help to pass on the following
advertisement to any interested parties.
Thanks very much in advance.
PhD RESEARCH STUDENTSHIP
Department of Computer Science
University of Durham
Applications are invited from students with good undergraduate or MSc
degrees in computer science or mathematics to study for a PhD degree.
A U.K. EPSRC research studentship is available for a suitably
qualified candidate for the October 1998 entry. It covers tuition
fees and maintenance for three years. The level of the maintenance
grant is linked to the standard grant offered by EPSRC which for the
1998/99 academic year is set at 5455 pounds per annum.
The successful candidate is expected to work on a project closely
related to interactive theorem proving, formal program specification
and verification, functional programming, natural language semantics
for mathematical reasoning, and/or applications of mathematical logic
and type theory.
Further enquiries can be made to
Dr. Zhaohui Luo
Dept. of Computer Science
Durham DH1 3LE
Phone: +44 (0)191 374 3657
Fax: +44 (0)191 374 2560
Application forms can be obtained either from the above address or the
Computer Science Office of Durham University. (For further
information about the Computer Science Department at Durham, see