coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD studentships available at Glasgow University

From: "Muffy Calder" <muffy AT dcs.gla.ac.uk>
To: <coq-club AT pauillac.inria.fr>, <theorem-provers AT ai.mit.edu>, <isabelle-users AT cl.cam.ac.uk>, <CADEinc AT cs.albany.edu>, <pvs AT csl.sri.com>, <comm-theory AT ieee.org>, <ifip-tc6 AT informatik.rwth-aachen.de>
Subject: [Coq-Club] PhD studentships available at Glasgow University
Date: Mon, 4 Aug 2008 13:57:29 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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
http://www.dcs.gla.ac.uk/~muffy

[Coq-Club] PhD studentships available at Glasgow University, Muffy Calder