coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] RA position at Royal Holloway, Univ of London, Zhaohui Luo
Archive powered by MhonArc 2.6.16.