PhD and Postdoc Position in Model Checking at Imperial College London

An opportunity has arisen at the Imperial College London, (Department of Computing) 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 EP-I00520X. 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.

Closing Date: 26 June 2011. For more information, see https://www4.ad.ic.ac.uk/OA_HTML/.