Research assistent in proof theory and dependent type theory
The following position of a research assistant in the area of proof
theory and dependent theory should be of interest to the types
community. It will be advertised officially in the coming week
-- because of the vacation of the TYPES forum, I am sending it
already now. Therefore the advertisement at
swan.ac.uk/personnel/vacs.htm, which includes further
particulars, will only be active by the end of this week.
Further information (including the precise project description)
can be obtained from me (email@example.com).
Please note that the closing date is Friday 13 June 2003.
The Computer Science Department in Swansea has now a very big group in
logic and theoretical computer science, consisting of Ulrich Berger,
Neal Harman, Oliver Kullmann, Marco Mazzucco, Faron Moller, Martin
Otto, Markus Roggenbach, Monika Seisenberger, John Tucker and
myself. It has as well good contacts with Roger Hindley and Jiang-Lun
Wu from the department of mathematics. Type theory and proof theory is
represented by Ulrich Berger and myself.
UNIVERSITY OF WALES SWANSEA
Department of Computer Science
£18265 - £20311
Applications are invited for the post of Fixed Term Research
Assistant. The post holder will carry out research
within the project "Extensions of dependent type theory - Induction,
Applicants should be graduates in a Mathematical or Computer Science
discipline and have a strong background in mathematical logic or logic
in computer science. Experience in proof theory or dependent type
theory is desirable. Individuals must have good presentation skills
and experience of writing research publications would be advantageous.
The post will commence from 1st August 2003 for a fixed term period of
An application form and further details may be obtained, quoting the
above reference, from the Personnel Department, University of Wales
Swansea, Singleton Park, Swansea, SA2 8PP, Tel. (01792) 295136 (24
hours) or at swan.ac.uk/personnel/vacs.htm.
Closing Date: Friday, 13 June 2003.