Job positions - Imperial College London - automatic verification

[Alessio Lomuscio]

With apologies for multiple postings.

-A

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

1 X Research Associate (postdoc) Fixed Term for up to 33 months
1 X Research Assistant (predoc) Fixed Term for 12 months with possible
extension 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 preferred starting date for this post is September 2010


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 work to be carried out at Imperial is to develop techniq ues for
the verification and synthesis of 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 organize your own work with minimal supervision and to meet
deadlines. Previous experience in EU projects is welcome but not
essential. 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

As this is a re-advertisement previous applicants need not apply.

How to apply:
Our preferred method of application is online via our website at:
http://www3.imperial.ac.uk/employment

Applications must include the following:

• A college application form quoting job reference AL 07 10
• A full CV

Should you have any queries regarding the application process please
contact Joanne Day by email: research.officer at doc.ic.ac.uk

Closing Date: 1st August 2010

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