Postdoc Research Assistant: Lexical Semantics in Type Theory with Coercive Subtyping

Applications are invited for a research assistant in the Computer Science Department at Royal Holloway University of London, funded by the Leverhulme Trust for the following interdisciplinary research project: "Lexical Semantics in Type Theory with Coercive Subtyping".

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.

Closing date: 31 March 2011. For more information, see http://www.rhul.ac.uk/jobs/jobvacancies/6223resarchfellowcomputerscience.aspx or the project webpage at http://www.cs.rhul.ac.uk/home/zhaohui/lexsem.html.