Job: 2 Research positions at Imperial College London

[Alessio Lomuscio]

Imperial College London
Department of Computing

1 X Research Associate
Fixed Term for up to 36 months

1 X Research Assistant
Fixed Term for 12 months with possible extension to 36 months in view to 
acquiring a PhD degree

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

Model Checking for Artifact-Based Environments

Research Assistant salary: £26,720 - £29,700 per annum
Research Associate salary: £30,520 - £38,930 per annum

The Department of Computing is a leading department of Computer Science 
among UK Universities. It was rated 2nd in the 2008 Research Assessment 
Exercise (RAE) and achieved 5*, the top rating, in the 1996 and 2001 
RAEs. It has consistently been rated "Excellent" in the national 
assessment of teaching quality.

An opportunity has arisen for a Research Assistant (pre-doctoral level) 
and a Research Associate (post-doctoral level) to work on themes of 
model checking for services as part of the EU IST FP7 Strep Research 
Project ACSI ("artifact-centric service interoperations"). The purpose 
of the project is to develop techniques for the verification and 
synthesis of web services based on the idea of artifacts.

The appointed researchers will be responsible for developing 
model-checking based techniques for the verification of artifact-based 
service environments.

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
• Modal Logic, including temporal logic, epistemic logic and ATL
• Service-oriented computing
• Implementation of model checkers

For the Research Associate post you must have experience of independent 
research in an area related to formal methods, Artificial Intelligence, 
Logic in Computer Science. Research Assistant applicants must have a 
good first degree (or equivalent) or a Masters degree (or equivalent) in 
a relevant area, i.e., Computing, Mathematics or Engineering. Research 
Associate applicants must have a PhD (or equivalent) in a relevant area, 
i.e., Computing, Mathematics or Engineering.

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 publications in relevant areas. All applicants must be fluent 
in spoken and written English.

You will be part of the Logic and Artificial Intelligence Section based 
at the South Kensington campus. For further information on the group and 
related projects see: http://www.doc.ic.ac.uk/~alessio/

For informal inquires please contact Dr Alessio Lomuscio by email to: 
a.lomuscio at imperial.ac.uk

Priority consideration will be given to staff at risk of redundancy.

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 into "keywords"). Please complete and upload an 
application form as directed.

Applications must include the following:
• A college application form quoting job reference AL 04 10
• A full CV
• A 2 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

Closing Date: 22nd April 2010

Committed to equality and valuing diversity. We are also an Athena 
Silver SWAN Award winner and a Stonewall Diversity Champion.