PhD studentship

I would be very grateful if you could help to pass on the following
advertisement to any interested parties.

Thanks very much in advance.

Best regards, 
Zhaohui Luo.



		    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 University
	South Road
	Durham DH1 3LE

	Email: Zhaohui.Luo@durham.ac.uk 
        Phone: +44 (0)191 374 3657
        Fax:   +44 (0)191 374 2560
	URL:   http://www.dur.ac.uk/~dcs0zl/

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