Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD studentships available at Glasgow University


view this post on Zulip Email Gateway (Aug 18 2022 at 12:19):

From: Muffy Calder <muffy@dcs.gla.ac.uk>
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@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


Last updated: May 03 2024 at 08:18 UTC