Job: research post

Zhaohui Luo zhaohui at CS.RHUL.AC.UK
Thu Feb 24 19:38:49 UTC 2011

		    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

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

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

or contact the Recruitment Team by email: recruitment at or tel:

More information about the Ln mailing list