[Prev][Next][Index][Thread]
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
myself.
Closing date is 25 October, but a letter of indent should suffice in
order to meet the deadline.
Anton Setzer
*****************************************************************
(L 4741/LCA/MML)
UNIVERSITY OF WALES SWANSEA
Department of Computer Science
Lecturer
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,
Swansea,
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.
http://www.swan.ac.uk/personnel
September 2002.