PhD Studentship

• To: types@cis.upenn.edu, bra-types@cs.chalmers.se, stp@dcs.gla.ac.uk
• Subject: PhD Studentship
• From: Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
• Date: Mon, 7 Jun 1999 11:50:33 +0100 (BST)
• cc: Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>

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

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. 

• Prev: Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ...
• Next: IFIP TC1 TCS Conference Y2000 in Japan
• Index(es):
  • Main
  • Thread