[TYPES] Research position in Coalgebras and Formal Verification at Southampton

[Corina Cirstea]

[Please forward to potential applicants]


       *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 
Systems and Software Engineering Group, in the School of Electronics and 
Computer Science. The School is the largest of its kind in the UK, and 
has internationally acknowledged research excellence in Electronics and 
Computer Science (RAE 2001 Grade 5*/5*).

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

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

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

An application form and further particulars may be obtained from the 
Human Resources Department (R), University of Southampton, Highfield, 
Southampton, SO17 1BJ, Tel: 023 8059 2750, e-mail: recruit at soton.ac.uk 
or minicom: 023 8059 5595, alternatively visit our website at 
www.jobs.soton.ac.uk. Closing date for applications 31/10/2005. Please 
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
-----------------------------------------------------------------------