Department of Electronics and Computer Science
University of Southampton
Lecturer in Formal Methods (Ref R689)
The Department of Electronics and Computer Science at Southampton is one of
the largest Departments in the UK. It has acknowledged international
research excellence in Electronics and Electrical Engineering (RAE rated 5*)
and Computer Science (RAE rated 5) and in teaching the QAA rating is 24/24
for Electrical and Electronic Engineering and Excellent for Computer
Science. Information about the Department can be found at
http://www.ecs.soton.ac.uk/.
The Department wishes to appoint a Lecturer in Formal Methods. Research in
this area is based in the Declarative Systems and Software Engineering
Group, which holds several major research grants on Formal Methods for
business-critical systems and on model-checking and is a partner in a major
EU-funded project on industrialisation of Formal Methods. Applicants should
have a background in Formal Methods with experience of formal specification,
refinement, verification, theorem proving, model checking or method
integration. For further information, contact Professor Michael Butler,
+44(0)23 8059 2435, [log in to unmask], also visit
http://www.ecs.soton.ac.uk/~mjb/.
Further particulars.
Salary scales: Lecturer: £18,731 to £30,967 per annum
Application forms may be obtained from the Personnel Department (R),
University of Southampton, Highfield, Southampton, SO17 1BJ, Tel: 023 805
92750, e-mail: [log in to unmask] or minicom: 023 8059 5595. Applications
to arrive no later than 22 June 2001. Please quote reference number R689.
|