Subject: categories: jobs: Professorships, Readerships, Lectureships, Tutorships

From: Markus Michelbrink <[email-masked]>
Date: Mon, 17 May 2004 14:34:03 +0100

** With apologies for multiple posting **

Professorships, Readerships, Lectureships, Tutorships.
======================================================
The department of computer science at Swansea (Wales, UK) is
currently advertising academic positions at all levels.
We hope expecially to expand our groups in visual
computing and in logic/theoretical computer
science.

Our department was rated 5 in the last research assessment exericse.
It has a strong group in logic and
theoretical computer science which is amongst the biggest in
UK. The members of that group are Ulrich Berger (proof theory,
computability theory, type theory),  Phil Grant (artificial
intelligence), Andy Gimblett (algebraic specification),
Neal Harman (hardware verification, models of computation,
algebraic specification), Oliver Kullmann (satisfiability problems),
Markus Michelbrink (category theory, proof theory, type theory),
Faron Moller (automata theory, modal and temporal logic),
Markus Roggenbach (algebraic specification), Monika Seisenberger
(proof theory, type theory, computability theory),
Anton Setzer (proof theory, type theory) and
John Tucker (algebraic specification, algebraic methods,
computability theory). We have as well strong links to the
mathematics department, with Roger Hindley (lambda-calculus) and
Jiang-Lun Wu (nonstandard analysis).

The deadline for application is 25 June 2004 (I have been
signalled that late applications might still be acceptable).
The official advertisements can be found at
http://www.jobs.ac.uk/jobfiles/IS433.html and
http://www.jobs.ac.uk/jobfiles/IS434.html

--
-----------------------------------------------------------------------------
Anton Setzer                            Telephone:
Department of Computer Science          (national)        (01792) 513368
University of Wales Swansea             (international) +44 1792  513368
Singleton Park                          Fax:
Swansea SA2 8PP                         (national)        (01792) 295708
UK                                      (international) +44 1792  295708

Visiting address:                       Email: [email-masked]
Faraday Building,                       WWW:
Computer Science Dept.            http://www.cs.swan.ac.uk/~csetzer/
2nd floor, room 211.
 ----------------------------------------------------------------------------
--

-------------------------------------------------------

--
Dr. Markus Michelbrink
Dept. of Computer Science
University of Wales Swansea
Singleton Park
Swansea
SA2 8PP
United Kingdom