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.

A successful candidate will be expected to develop and use novel symbolic Artificial Intelligence and data-driven techniques to innovate across the stages of the smart contract lifecycle, for instance in terms of intuitive design, collaborative modelling, rigorous validation, automated deployment, and adaptive monitoring.


- Deadline: 26th April 2019


For more information, please visit: