[Apologies for multiple copies]
Department of Electronics and Computer Science
University of Southampton
Lecturer in Formal Methods (Ref 01R209 )
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/.
Salary in the range £20,267 - £32,215 per annum on Lecturer Grade A/B.
** Generous relocation and startup funds are available. **
Application forms and further particulars may be obtained from the
Personnel Department (R), University of Southampton, Highfield,
Southampton, SO17 1BJ, Tel: 023 8059 2750,
email: [log in to unmask] or minicom: 023 8059 5595,
to be returned no later than 7 December 2001.
Please quote reference: 01R209.
|