[ The Types Forum (announcements only),
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
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
The closing date for applications is 19 November 2010 at 12.00 noon.