PhD Studentship

			EPSRC PhD Studentship

		    Department of Computer Science
`		      University of Durham, U.K.

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 1999 entry (or later). It covers tuition fees
and maintenance for three years.

The successful candidate is expected to work in the Computer-Assisted
Reasoning Group (URL: http://www.dur.ac.uk/CARG), and in particular with
Dr. Z. Luo and Dr. R. Pollack on the EPSRC-funded project `An open proof
checker based on type theory' (http://www.dur.ac.uk/~dcs0zl/open.html). 
The student's work will involve both the theory and pragmatics of
type-theoretic proof checking. 

Further enquiries and applications can be sent to 

Dr. Zhaohui Luo, 
Dept. of Computer Science, 
University of Durham, 
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.