[TYPES] RA position at Royal Holloway, Univ of London

[Zhaohui Luo]

			RESEARCH ASSISTANT
		   Department of Computer Science
		Royal Holloway, University of London

Applications are invited for the post of Research Assistant to join a team
working on the EPSRC-funded project: "Pythagoras: Machine Support for
Semi-formalised Proof Oriented Mathematics".  This is an appointment for
12 months, commencing on 1 June 2005.

The successful candidate will work with Professor Zhaohui Luo and is
expected to have a PhD or to obtain a PhD degree soon in computer science,
mathematics, or a related area.  A strong background in one or more of the
following areas would be of advantages, though not necessary:

 	theorem proving
 	type theory and associated proof assistants
 	functional programming
 	mathematics education

The salary for the post is £22,674 per annum inclusive of London
Allowance.

Information on the Department may be found at www.cs.rhul.ac.uk.
Informal enquiries may be directed to Prof Zhaohui Luo
(email: Zhaohui.Luo at cs.rhul.ac.uk; tel: +44-(0)1784-443431;
URL: http://www.cs.rhul.ac.uk/~zhaohui/ ).

Further details and an application form can be obtained from The Personnel
Department, Royal Holloway, University of London, Egham, Surrey TW20 0EX;
fax: 01784 473527; tel: 01784 414241; email
http://www.rhul.ac.uk/Personnel/JobVacancies.htm.
Please quote reference KB/004286.

The closing date for receipt of applications is Friday 29th April 2005.