[isabelle] PhD studentships available at Glasgow University

Apologies for cross posting

2 PhD studentships in Formal Verification
Department of Computing Science
University of Glasgow

PhD studentship on interdisciplinary EPSRC project: Molecular Nose. You
will develop a computational framework for functional behaviour of
cellular networks.  Part of a collaborative project with the Departments
of Biochemistry and Engineering.

PhD studentship on EPSRC project: Homework.  You will develop
computational models of human interaction in domestic networks. Part of
a large collaborative project with the University of Nottingham,
Imperial College, London, and Georgia Tech. 

You should have a good first degree (or Masters) in Computing Science or
Mathematics. You must be an EU national.

Further details at http://www.dcs.gla.ac.uk/~muffy/advert.htm.
Informal enquiries to Professor Muffy Calder (email
muffy at dcs.gla.ac.uk).

Professor Muffy Calder
Department of Computing Science
University of Glasgow, Glasgow G12 8RZ  
tel: +44 0141 330 4969 

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.