### Logic List Mailing Archive

## Permanent logic positions at all academic levels in Swansea (UK); Deadline: 25.6.2004

Dear all,
Swansea is about to hire several academics, tutors, lecturers, readers and
professors. Some of these positions will go to logic, and we hope for
strong applications.
Anton Setzer (Swansea)
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 (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