2 X Research Associates In Verification of Autonomous Systems
http://www3.imperial.ac.uk/computing/vacancies#AL%201112
Salary in the range: £32,100 - £40,720 per annum

Fixed term appointments for up to 24 months each dependant upon salary level

To start as soon as possible

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

An opportunity has arisen for 2 Research Associates (post-doctoral level) to 
work on themes of model checking for autonomous systems. The posts are 
associated with the EPSRC project Trusted Autonomous Systems 
(http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/I00520X/1) also funding 
a Leadership Fellowship Prof. Lomuscio, the grant's principal investigator. The 
main technical objective of the project is to develop verification 
methodologies for autonomous systems.

The appointed researchers will be responsible for developing, in collaboration 
with Prof. Lomuscio, model checking methodologies, implementation toolkits, and 
case-study analysis.

Applicants are expected to have a strong computing or engineering background 
and experience in one or more of the following areas:

1  Formal verification, especially model checking

2  Abstraction

3  Automata theory and synthesis

4  Programming, particularly in the context of model checkers or theorem 
provers.

5  Modal Logic, including temporal logic, epistemic logic and ATL

6  Formal aspects of service-oriented computing

7  Multi-Agent Systems

Applicants are expected to hold, or about to defend, a PhD in logic-based 
verification or a related area. Candidates with previous experience in model 
checking including implementations are particularly encouraged to apply.  All 
candidates must be fluent in English.

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

The successful candidates will be part of the res earch group on verification 
of autonomous systems, based at the South Kensington campus. For further 
information on the group and related projects see: http://vas.doc.ic.ac.uk/

Positions: It is expected that one researcher will be working on the 
theoretical underpinnings of the verification problem and one will mainly work 
on implementations.

Applicants are requested to state which area they are most comfortable with or 
whether they are interested in both aspects.

All shortlisted candidates will be given an opportunity to demonstrate their 
technical abilities through remote interviews. This will be followed by an 
invitation to attend an interview in person.

How to apply:

Our preferred method of application is online via our website at: 
http://www3.imperial.ac.uk/employment (please select ?job search? then enter 
the job title or vacancy reference number EN20120395TT into ?keywords?).

Applications must include:

A college application form quoting job reference AL 11 12
A full CV
A half page research statement indicating what you see are interesting research 
issues relating to the above post and why your expertise is relevant.
Should you have any queries regarding the application process please contact 
Joanne Day by email: research.officer@doc.ic.ac.uk

Should you have any technical queries regarding the project and its aims, or 
would like to discuss your application informally, please email 
a.lomuscio@imperial.ac.uk attaching your CV.

Closing Date: 11th January 2013

Committed to equality and valuing diversity. We are an Athena Bronze SWAN Award 
winner, a Stonewall Diversity Champion and a Stonewall Top 100 Employer 2011