[Haskell] RA position at Royal Holloway, Univ of London
zhaohui at cs.rhul.ac.uk
Mon Apr 11 04:00:26 EDT 2005
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:
type theory and associated proof assistants
The salary for the post is £22,674 per annum inclusive of London
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
Please quote reference KB/004286.
The closing date for receipt of applications is Friday 29th April 2005.
More information about the Haskell