Post-doc position at Imperial College London - Verification of autonomous underwater vehicles via model checking

[Alessio Lomuscio]

With apologies for multiple copies.

=========================================================

Research Assistant or Research Associate (fixed term)
Methods of reliability-control for autonomous underwater vehicles

Salary: £23,850 - £34,750 per annum

Closing date: 30th July 07


The Department of Computing is a leading department of Computer Science 
among the UK Universities. It has consistently been awarded the highest 
research rating (5*) in Research Assessment Exercises and was rated as 
"Excellent" in the previous national assessment of teaching quality.

We currently have one open postdoc position (Research 
Assistant/Associate) to work on the EPSRC project “Methods of 
reliability-control for autonomous underwater vehicles” (EP/02727X/1), 
to develop methodologies based on model checking for the verification of 
control systems for autonomous underwater vehicles.

The ideal candidate will have a PhD or an advanced MSc in Computer 
Science or related areas and have direct research expertise in one or 
more of the following topics:

•  Logic and modal logic, especially temporal and epistemic logic;

•  Automatic verification by symbolic model checking;

•  Legacy systems, real-time systems.

It is essential for the appointed candidates to be able to work as part 
of a team with peers and senior academics and to have good communication 
and presentation skills.

The appointed Research Assistant/Associate will be working at the South 
Kensington Campus in the Department of Computing. Partners of the 
research project will be the team at the University of Southampton lead 
by Prof Sandor Veres and the National Oceanographic Centre in Southampton.

The project is set to run for 36 months. The post is for a fixed term of 
up to 36 months beginning no later than 1 November 2007 and preferably 
before September 2007. The post is to be held within the Logic and 
Artificial Intelligence section, see job description for a more details. 
More information on the research section may be found at 
http://www.doc.ic.ac.uk/research/strategy/sections/LAI/.

Applications must include the following:-

     * A College application form, which can be obtained from 
http://www3.imperial.ac.uk/employment/applicationformnonclinlecsenlecclinsenlec
     * State job reference number 12181 on the application form
     * A full CV

Preference will be given to applicants with a proven research record in 
relevant areas.

Applications should be sent to:

Nicola Rogers
Department of Computing,
Imperial College London,
London, SW7 2AZ
UK
e-mail: n.c.rogers at imperial.ac.uk
fax: +44 (0)20 75948282

Informal enquiries are welcome and should be addressed to:

Dr A Lomuscio
Department of Computing
Imperial College London
London, SW7 2AZ
UK
e-mail: a.lomuscio at imperial.ac.uk

Imperial College London values diversity and is committed to equality of 
opportunity.