16-Month Post Doctoral Research Appointment in CISA, School of Informatics, University of Edinburgh
We are seeking a researcher to join the DARE project and develop a significant new strategy for enabling users to create, control and use Concepts, Methods, Data and Collections virtualised and mapped to heterogeneous, distributed e-Infrastructures.
PhD Studentship in Workflow modelling and analysis of smart contracts
The aim of the project is to research workflow-based methodologies and tools for the next generation of systems underlying machine-mediated collaboration within and across organisations.
Alan Bundy nominated for the Best Supervisor Award
Alan Bundy has been nominated for the Best Supervisor Award
PhD studentship in probabilistic property-based testing
The aim of the project is to explore the hypothesis that property-based testing (e.g. QuickCheck) is a form of probabilistic programming.