Logic List Mailing Archive
Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.), Deadline: 11 Jan 2013
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