Thu, 22 Nov 2001 19:17:35 +0000 (GMT)
This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.
Send mail to email@example.com for more info.
Content-Type: TEXT/PLAIN; CHARSET=US-ASCII
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 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
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