Postgrad LIVE! Study Fairs

Birmingham | Edinburgh | Liverpool | Sheffield | Southampton | Bristol

University of East Anglia Featured PhD Programmes
Imperial College London Featured PhD Programmes
King’s College London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Nottingham Featured PhD Programmes

DTC CS 2 - Development of a language for writing smart contracts.

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • Self-Funded PhD Students Only
    Self-Funded PhD Students Only

Project Description

This project would connect well with research by Pedro Helles in the School of Law on smart contracts and cryptocurrencies. Smart contracts allow to formalise contractual relationships regarding exchange of money using cryptocurrencies in a purely algorithmic way without any involvement of legal entities, but can lead to loss of money as in the DAO attack on Ethereum, where the loss of 100 Million US-$ was only avoided by creating a hard fork, violating the principle that cryptocurrencies are entirely governed by algorithms. The goal of this project is to develop based on the interactive theorem prover Agda a language for smart contracts, in which correctness proofs can be carried out, and therefore contractors can rely on the correctness of their contracts.

Entry requirements

Candidates must have a minimum of an upper second class honours degree or equivalent in a relevant subject, or an appropriate Master’s degree (with Merit). Informal enquiries are welcome by emailing the project supervisor.

For candidates whose first language is not English, we require IELTS 6.5 (with 6.0 in each component) or equivalent. Please visit our website for a list of acceptable English language tests. We prefer candidates to have already met the English Language requirements at the point of application, although this is not a requirement.

How to apply

Visit our webpage for details - http://www.swansea.ac.uk/science/research/dtc/biosciences-projects-2018-19/

Please include the project ID and title in your email subject header (eg. DTC BIO xxxxxx)

Funding Notes

Student Finance England have announced plans to offer student loans for PhD level courses from September 2018 for courses at any PhD awarding university (including Swansea University). Full details are still to be confirmed. Visit our website for updated information. – View Website

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully





FindAPhD. Copyright 2005-2018
All rights reserved.