[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Department of Computer Science
University of Durham
Applications are invited for a two-year research fellowship in the
above department, funded under the research project
"Computer-assisted reasoning with natural language:
implementing a mathematical vernacular".
The project is to study and develop a theory and the associated
techniques based on type theory for implementing proof systems that
assist mathematicians to reason in their own mathematical vernacular,
that is, a mathematical and natural language suitable for ordinary
mathematical practice and implementable based on a formal theory.
The research fellowship is for a period of two years and available
from October 1996. The appointment will be on the AR1A scale
(starting salary up to 16,628 pounds per annum, according to
experience). Candidates would normally be expected to have a PhD or
equivalent experience in computer science, computational linguistics,
or mathematics. Experience or background in areas such as typed
lambda calculi, functional programming, computational linguistics, or
formal proof systems based on type theory, is considered to be
desirable, though not necessary.
The successful candidate will be working in a very active research
environment at Durham, with research projects both on theory and on
applications. Further details of the above research project and
related projects and information can be found from the WWW page
Applications should include a curriculum vitae and names of two to
three referees with their addresses (and email addresses if
available). Please send applications or enquiries to Dr Zhaohui Luo
or Prof Roberto Garigliano at the following address:
Dept of Computer Science
The Science Laboratories
Durham DH1 3LE, U.K.