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