AISB opportunities Bulletin Item
Postdoctoral position in lexical semantics, London (U.K.)
Postdoc Research Assistant: Lexical Semantics in Type Theory with Coercive Subtyping, Royal Holloway
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/6223resarchfellowcomputerscienc e.aspx or the project webpage at http://www.cs.rhul.ac.uk/home/zhaohui/lexsem.html.