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. ------------------------------------------------------------------------------ Beautiful is writing same markup. Internet Explorer 9 supports standards for HTML5, CSS3, SVG 1.1, ECMAScript5, and DOM L2 & L3. Spend less time writing and rewriting code and more time creating great experiences on the web. Be a part of the beta today. http://p.sf.net/sfu/beautyoftheweb _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
