[Agda] research post

[zhaohui at cs.rhul.ac.uk]

		    Department of Computer Science
		 Royal Holloway, University of London

			   Research Assistant

Applications are invited for a research assistant in the above department,
funded by the Leverhulme Trust for the following interdisciplinary
research project:

Lexical Semantics in Type Theory with Coercive Subtyping
(http://www.cs.rhul.ac.uk/home/zhaohui/lexsem.html)

The post is full time, for a period of three years and available from June
2011, with the starting annual salary between 31,987 pounds and 33,805
pounds (inclusive of London allowance).

Candidates would normally be expected to have a PhD or equivalent
experience in mathematics, computer science, or computational linguistics.
 Experience or background in some of the following areas is considered to
be desirable, though not necessary: typed lambda calculi, computational
linguistics, functional programming, and theorem proving.

Applications should be made before 12 noon, March 14, 2011 and should
include a curriculum vitae and the names of two or three referees with
their addresses (and email addresses if available).

Informal enquiries before formal applications are encouraged and can be
addressed to Prof Zhaohui Luo at the email address zhaohui at cs.rhul.ac.uk.

For further details on how to apply, please visit the following web page:

http://www.rhul.ac.uk/jobs/jobvacancies/6223resarchfellowcomputerscience.aspx

or contact the Recruitment Team by email: recruitment at rhul.ac.uk or tel:
+44-(0)1784-414241.