Research position in Coalgebras and Formal Verification at Southampton

[Corina Cirstea <cc2@ecs.soton.ac.uk>]

       *Research position in Coalgebras and Formal Verification*

              School of Electronics and Computer Science
                      University of Southampton

          Declarative Systems and Software Engineering Group
                   http://www.dsse.ecs.soton.ac.uk

                    Closing date: 31 October 2005


Applications are invited for a Research Fellow in the Declarative=20
Systems and Software Engineering Group, in the School of Electronics and=20
Computer Science. The School is the largest of its kind in the UK, and=20
has internationally acknowledged research excellence in Electronics and=20
Computer Science (RAE 2001 Grade 5*/5*).

The successful applicant will work on the EPSRC-funded research project=20
"Towards a Modular Approach to Model-Based Verification: logical,=20
semantical and algorithmic support". The project aims to develop modular=20
model-based verification techniques for state-based dynamical systems,=20
by using the mathematical theory of coalgebras as a unifying framework.

Applicants should have (or be nearing the completion of) a PhD in=20
Computer Science or a related subject, and have a proven research record=20
in theoretical computer science/formal methods. Experience in one or=20
more of the following areas: logic, universal coalgebra, category=20
theory, formal specification, model checking is desirable. The salary=20
will be in the range =A322,774 - =A328,009. The post is available for two=
=20
years, from 01/01/2006.

Informal enquiries should be addressed to Dr Corina C=EErstea, Tel: +44=20
(0)23 8059 3625, e-mail: cc2@ecs.soton.ac.uk.

An application form and further particulars may be obtained from the=20
Human Resources Department (R), University of Southampton, Highfield,=20
Southampton, SO17 1BJ, Tel: 023 8059 2750, e-mail: recruit@soton.ac.uk=20
or minicom: 023 8059 5595, alternatively visit our website at=20
www.jobs.soton.ac.uk. Closing date for applications 31/10/2005. Please=20
quote reference number 05R0160C.


-----------------------------------------------------------------------
Dr Corina Cirstea
Electronics and Computer Science
University of Southampton
Southampton, SO17 1BJ
United Kingdom
Tel: +44 (0)23 8059 3625
-----------------------------------------------------------------------