-
the role of Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers, at the University of Birmingham (a joint project with Prof. Graham
-
. This BBSRC (sLoLa) - funded post is established to study the semantic rules of developmental gene expression control. The post holder will be part of a multi-disciplinary consortium team (6 institutions in
-
structures for computational effects” , led by Dr Paul Levy (University of Birmingham), which aims to develop categorical and denotational semantics for general effects, for stateful effects in particular and
-
, such as literature reviews, and qualitative research. Present research outputs, including drafting academic publications or parts thereof, for example at seminars and as posters and blog posts. Provide
-
, collate and present data to stake-holders such as annual reports for the Management Committee and funding bodies, and public engagement activities including via a web-presence Provide feedback