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,
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.