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@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.asp... or contact the Recruitment Team by email: recruitment@rhul.ac.uk or tel: +44-(0)1784-414241.