3 year PhD studentship in modelling and reasoning about pervasive systems

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

The PhD project will include full payment of fees and living expenses. Applicants must be EU citizens and should have either a degree at grade 2(i) or above, or an MSc, in Computer Science or Mathematics. Experience with research in logic, formal verification or formal methods in general would be an advantage.

You will study under the supervision of Professor Muffy Calder (http://www.dcs.gla.ac.uk/~muffy), to whom informal applications should be made by provision of a cv and a statement concerning your research interests. The formal application procedure is described on the departmental web pages.

For information about research in these areas, please see web pages at http://www.dcs.gla.ac.uk/~muffy, and for information about research in the Dept., please see web pages at http://www.dcs.gla.ac.uk/research/index.html.

For further information, please send email to muffy@dcs.gla.ac.uk.