*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 -----------------------------------------------------------------------