Email Gateway (Aug 18 2022 at 17:04): Email Gateway (Aug 18 2022 at 17:04):From: Zhaohui.Luo@cs.rhul.ac.uk
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.aspx
or contact the Recruitment Team by email: recruitment@rhul.ac.uk or tel:
+44-(0)1784-414241.
Last updated: Nov 21 2024 at 12:39 UTC