[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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

http://www.jobs.soton.ac.uk/soton/jobboard/JobDetails.aspx?__ID=*638C9CD43034EAA6

£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.

Reply via email to