Lectureship of interest for type theoretists

Dear all,

the following position might be of interest to members of the types
community. Swansea has a very strong group in theoretical computer
science and logic (John Tucker, who is head of department, Phil Grant,
Neal Harman, Oliver Kullman, Martin Otto, John Sharp,  one 
postdoc in finite model theory, who has just arrived, and currently
three type theoretists, namely Ulrich Berger and Monika 
Seisenberger who are both working in other areas of logic as well, and
Closing date is 25 October, but a letter of indent should suffice in
order to meet the deadline.

Anton Setzer


(L 4741/LCA/MML)


Department of Computer Science


Lecturer Grade A:	20470 - 24435 per annum
Lecturer Grade B:	25455 - 32537 per annum

Applications are invited for the post of Lecturer (A/B), reference
L4741 in the Department of Computer Science. Candidates may have
expertise in any field. We are keen to increase our expertise in
visual computing and computational geometry.  Applicants should
possess a PhD in Computer Science, or a related subject, and have an
excellent personal research record and programme. 

The Department was graded 5 in the latest Research Assessment Exercise
and  awarded an Excellent in the latest national Teaching Quality
Assessment. It enjoys excellent links with industry.

Informal enquiries may be directed to Prof. J V Tucker, Head of
Department on 01792 295649 email: J.V.Tucker@swansea.ac.uk 

An application form and further details may be obtained, quoting the
above reference, from the 

Personnel Department, 
University of Wales Swansea, Singleton Park, 
SA2 8PP, 
Tel: 01792 295136 (24 hours) or 
email  personnel.mailbox@swansea.ac.uk  

Applications must be returned to the Personnel Department.  Closing
Date:25 October 2002.


September 2002.