Logic List Mailing Archive

Postdoctoral position in lexical semantics, London (U.K.), Deadline: 31 March 2011

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/6223resarchfellowcomputerscienc 
e.aspx or the project webpage at 
http://www.cs.rhul.ac.uk/home/zhaohui/lexsem.html.