Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position on logic and formal verification, Liverpool (U.K.)

The "Verifying Interoperability Requirements in Pervasive Systems" project is a collaboration between the universities of Birmingham, Glasgow and Liverpool. As part of this project we are supporting a 3 year PhD project to tackle relevant aspects in logic and formal verification.

The project tackles the development of logical foundations and verification techniques for pervasive systems. This PhD will involve one or more of: formal specification; autonomous systems; security; organisational/context models; model-checking; non-classical logics; deductive verification; executable specifications; fault tolerance.

You will study under the supervision of Prof. Michael Fisher in the Logic and Computation group of the Department of Computer Science at the University of Liverpool. The group has an international reputation for research in the areas of formal logics, verification, and execution.

Closing date for receipt of applications: 6 July 2009. Ref: FISHER/WWW. For more information, see http://www.liv.ac.uk/working/job_vacancies/studentships/PhD_Studentship_Fish.htm or contact email Michael Fisher at

Please note that this newsitem has been archived, and may contain outdated information or links.