PhD studentship, Liverpool [UK]

[Michael Fisher]

          PhD Studentship [starting September 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, formal verification, and pervasive systems.

This PhD project is intended to start in September 2009 and includes
full payment of fees at UK/EU rate and a maintenance grant £12,600 per
annum. Applicants must be EU citizens and should have, or expect to
obtain, either a degree at grade 2i or above, or an 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.

For further details and application procedure, see
http://www.liv.ac.uk/working/job_vacancies/studentships/PhD_Computer_Science.htm

Closing date for receipt of applications: 17th April 2009

-- 
---------------------------------------------------------------
| Michael Fisher            http://www.csc.liv.ac.uk/~michael |
| Dept. of Computer Science           MFisher at liverpool.ac.uk |
| University of Liverpool             tel: (+44) 151 795 4262 |
| Liverpool L69 3BX, U.K.             fax: (+44) 151 795 4235 |
---------------------------------------------------------------