Research assistant, Deadline June 13th, Swansea (Wales)

Below you find the advertisement for a position of a research
assistant in the area of proof theory and dependent type
theory. Further information (including the precise project
description) can be obtained from me (a.g.setzer@swan.ac.uk). 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,
Phil Grant, 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.

Anton Setzer



Department of Computer Science

Research Assistant

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,
Interaction, Universes".

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
2 years.

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 http://www.swan.ac.uk/personnel/vacancies/index.htm

Closing Date: Friday, 13 June 2003.

WWW: http://www.swan.ac.uk/personnel

May 2003