2 Research posts - Verification of Autonomous Systems - Imperial College London

[Alessio Lomuscio]

With apologies for multiple posting.

Kind regards

-Alessio

-- 
Dr Alessio Lomuscio
Reader in Logic for Multiagent Systems
Department of Computing         A.Lomuscio at imperial.ac.uk
Imperial College London         http://www.doc.ic.ac.uk/~alessio
Exhibition Road                 http://vas.doc.ic.ac.uk/
London, SW7 2AZ                 Phone: +44 (20) 7594 8414
United Kingdom                  Fax: +44 (20) 7581 8024

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

2 Research posts - Verification of Autonomous Systems
Department of Computing - Imperial College London

---------------------------------------------------------------------

Research Associate and PhD Studentship in
Model Checking for Autonomous Systems
Imperial College London - Department of Computing, Faculty of Engineering

Research Associate Salary: £30,680 - £39,130 per annum
Fixed Term for up to 42 months

PhD Scholarship:   £15,590 tax free per annum (plus PhD fees - see
eligibility criteria at the bottom)
Fixed Term for 36 months

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 a Research Associate (post-doctoral) and
a PhD student to work on themes of model checking for autonomous
systems. The post is associated with the EPSRC project
http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/I00520X/1

The project's principal investigator is Dr Lomuscio whose purpose is
to develop verification methodologies for autonomous systems.

The successful applicants will be responsible for developing model
checking methodologies, implementation toolkits, and case-study
analysis. Collaborating partners in the project are IPIPAN Warsaw,
University of Rome, University of Southampton, IBM Watson, CHIME UCL
and Sysbrain Ltd.

To apply you will need to have a strong computing or engineering
background. You should have experience in one or more of the following
areas:

     * Formal verification, especially model checking
     * Abstraction
     * Automata theory and synthesis
     * Programming, particularly in the context of model checkers or
       theorem provers.
     * Modal Logic, including temporal logic, epistemic logic and ATL
     * Service-oriented computing
     * Multi-Agent Systems.

Applicants for the PhD position are expected to hold a first degree
(or equivalent) or a Masters degree (or equivalent) in a relevant
subject area i.e. Computing, Mathematics or Engineering. Eligibility:
Due to funding regulations, UK nationals are eligible to the untaxed
bursary of £15,590 per annum. EU nationals are only eligible for the
bursary if they meet the EPSRC requirement of having been in the UK
for three years immediately prior to starting the PhD. Details can be
found at
http://www.epsrc.ac.uk/PostgraduateTraining/StudentEligibility.htm


Applicants
for the Research Associate level are expected to hold a PhD (or
equivalent) in a relevant subject area i.e. Computing, Mathematics or
Engineering. Candidates with previous experience in model checking
including implementations are particularly encouraged to apply.


You must have excellent communication skills, ability to work in
teams, ability to organise your own work with minimal supervision and
to meet deadlines.

Preference will be given to applicants with a proven research record
and relevant publications.

You will be part of the research 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/

Shortlisted candidates will be given an opportunity to demonstrate
their abilities through remote interviews. If successful this will be
followed by interview in person.

How to apply:
Our preferred method of application is online via our website
http://www3.imperial.ac.uk/employment (please select "Job Search" then
enter the job title or vacancy reference number EN20110097BD into
"Keywords").

Applications must include:

     * A college application form quoting job reference AL 05 11
     * A full CV
     * A research statement of up to 1 page indicating what you think
       are interesting research issues relating to the above post and
       why your expertise is relevant.

For queries regarding the application process please contact Joanne
Day at: research.officer at doc.ic.ac.uk

Should you have any technical queries regarding the project and its
aims, or for an informal discussion, please email
a.lomuscio at imperial.ac.uk attaching your CV.

Closing Date: 26 June 2011