Two postdoctoral research associate positions in verification of autonomous systems, London (U.K.)

An opportunity has arisen for 2 Research Associates (post-doctoral level) to work at the Imperial College London on themes of model checking for autonomous systems. The successful candidates will be part of the research group on verification of autonomous systems, based at the South Kensington campus.

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. 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.

Applications must be received before 11 January, 2013. For more information, see http://www3.imperial.ac.uk/computing/vacancies#AL%201112