Logic List Mailing Archive

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 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
a.g.setzer@swan.ac.uk
http://www.cs.swan.ac.uk/~csetzer/ 
http://www.cs.swan.ac.uk/~csetzer/logic-server/swansea.html

=========================
=========================
===========

UNIVERSITY OF WALES SWANSEA

Department of Computer Science

Research Assistant

?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,
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