Skip to Content.
Sympa Menu

coq-club - [Coq-Club] RA position at Royal Holloway, Univ of London

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] RA position at Royal Holloway, Univ of London


chronological Thread 
  • From: Zhaohui Luo <zhaohui AT cs.rhul.ac.uk>
  • To: Zhaohui Luo <zhaohui AT cs.rhul.ac.uk>
  • Subject: [Coq-Club] RA position at Royal Holloway, Univ of London
  • Date: Mon, 11 Apr 2005 09:00:26 +0100 (BST)
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>


                        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.




Archive powered by MhonArc 2.6.16.

Top of Page