[agents] 2 Postdoctoral Positions in Verification of Autonomous Systems - Imperial College London (UK)

[Alessio Lomuscio]

With apologies for multiple posting.

Kind regards

-A

----------------------------
http://www3.imperial.ac.uk/computing/vacancies#AL%201112

2 X Research Associates In Verification of Autonomous Systems
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 at 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 at 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