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: