PhD Studentship

		      EPSRC CASE 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, mathematics or a related subject to study for
a PhD degree. A U.K. EPSRC CASE Award (a research studentship with extra
industrial funding for maintenance) is available for a suitably qualified
candidate.  It covers the tuition fees and the enhanced maintenance for
three years. (For non-EU applicants, please note that the studentship does
not cover the overseas fees, which are usually payable.)

The successful candidate is expected to start as soon as possible and to
work in the Computer-Assisted Reasoning Group
(http://www.dur.ac.uk/CARG/), and in particular on the EPSRC-funded
project `Epigram: Innovative Programming via Inductive Families'
(http://www.dur.ac.uk/CARG/epigram.html).  The project is about
development of the theory and pragmatics of programming with dependent
types. The collaborators are the ALTA Systems Ltd. and the Centre for
Educational Measurement from the Queen's University of Belfast. 

Further enquiries and applications (with a CV and the names of at least
two referees) can be sent to 

Prof. 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
office of the Department of Computer Science
(http://www.dur.ac.uk/~dcs0www/) of the Durham University.

A web version of this advertisement can be found at