The Coq mailing list

[Zhaohui Luo <zhaohui AT cs.rhul.ac.uk>]

                        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.