Logic List Mailing Archive

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

PhD Studentship [starting Autumn 2009]
               ----------------------------------------
     Department of Computer Science, University of Liverpool,  UK


The "Verifying Interoperability Requirements in Pervasive Systems"
project [http://cgi.csc.liv.ac.uk/VPS] 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.

This PhD project is intended to start in Autumn 2009 and includes full
payment of fees at EU rates and a maintenance grant 13,290 per
annum. Applicants must be EU citizens and should have, or expect to
obtain, either a good degree or MSc in Computer Science or
Mathematics.

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 [http://www.csc.liv.ac.uk/~michael]. The
group has an international reputation for research in the areas of
formal logics, verification, and execution.

If you are interested in this position, please email Michael Fisher at
MFisher@liverpool.ac.uk

------------------------------------------------------------
Prof. Wiebe van der Hoek
Head of Department, Computer Science
University of Liverpool
http://www.csc.liv.ac.uk/~wiebe/
tel (+44 151) 79 47480/54292
fax             (+44 151) 79 54235
Liverpool L69 3BX, United Kingdom
Wiebe.Van-Der-Hoek@liverpool.ac.uk