Postdoc Position in Verification of Security Protocols at Imperial College London

The Department of Computing has one position for a Research Assistant or Associate to work on the EPSRC project "Verification of Security Protocols: A multi-agent systems approach" (EP/E035655/1), to develop algorithms and tools for the automatic verification of security protocols by model checking.

The appointed Research Assistant/Associate will be working as part of a team comprising the PI, one research student and the research group in Warsaw lead by Prof W Penczek, partner in the project. The aim of the project is to develop efficient model checking algorithms for the verification of security protocols. The appointee will also contribute to the development of a platform shell implementing the algorithms developed.

The post is for a fixed term of up to 36 months beginning no later than 1 September 2007 and preferably before June 2007. Closing date is 18 April 2007

For more information, see http://www.doc.ic.ac.uk/about/situationsvacant/#8 or contact Dr A Lomuscio at a.lomuscio at imperial.ac.uk.