[TYPES/announce] Lecturer in Automated Verification, University of Southampton

Michael J Butler mjb at ecs.soton.ac.uk
Wed Oct 20 12:23:11 EDT 2010

Lecturer in Automated Verification
University of Southampton - School of Electronics and Computer Science


£34,607 - £43,840 per annum

Applications are invited for a Lecturer to join the School of Electronics and Computer Science in the Faculty of Physical and Applied Sciences (within the Dependable Systems and Software Engineering (DSSE) Research Group). The School is the largest of its kind in the UK and in the last Research Assessment Exercise (in 2008) Computer Science was ranked joint second in the UK for the quality of its research, with 85 per cent of its research work receiving either the top 4* rating (defined as 'world leading') or the 3* rating ('internationally excellent').

DSSE particularly seeks applicants with expertise in the application or development of automated formal verification technology such as automated theorem proving or model checking.  Relevant applications include the broad areas of model verification, program verification and hardware verification.

The new appointment will have the opportunity to collaborate with other researchers in DSSE and the School, helping us to address the many challenges in verification such as the need for increased scalability, the need to understand how the technology can be incorporated into existing design processes and the need to understand how it can be applied to modern computing paradigms such as multi-core architectures and pervasive systems.

Applicants should have a PhD in a relevant area, a good publication record, and the enthusiasm and drive to carry out research and teaching, in an exciting, highly professional, multidisciplinary environment.

Information about the School can be found at http://www.ecs.soton.ac.uk/ and on the DSSE website at http://www.dsse.ecs.soton.ac.uk/.

Informal enquiries may be made to Professor Michael Butler (http://users.ecs.soton.ac.uk/mjb/).

The closing date for applications is 19 November 2010 at 12.00 noon.

More information about the Types-announce mailing list