Modelling and verification of blockchain and distributed ledger technologies

A studentship is available in the field of modelling and verification of blockchain and distributed ledger technologies with the Surrey Centre for Cyber Security at the University of Surrey.


3.5 years

Application deadline

Funding source

Directly funded - home students.

Funding information

The appointed candidate will receive a tax-free stipend of £22,000 per year for 3.5 years of PhD studies.


Surrey Centre for Cyber Security at the University of Surrey invites applications for a fully-funded PhD position in Cyber Security to work on a research project focusing on modelling and verification of distributed ledger technologies with respect to threat models and security analysis.

The successful candidate will be working under supervision of Professor Steve Schneider, Principal Supervisor, and Dr David Williams, Co-Supervisor.


The appointed candidate will receive a tax-free PhD stipend of GBP 22,000 per year for 3.5 years of PhD studies within which the candidate is expected to submit their PhD thesis. This stipend is significantly higher than an average PhD stipend in the UK. Moreover, additional funding is available to support presentation of research results at international conferences and participation in PhD summer schools and other events.

Disclaimer: This position is funded by HM Government and is available only to UK citizens. Applications are welcome from UK citizens who are prepared to undergo security vetting conducted by respective UK authorities. The initial stage of vetting may last up to 3 months and needs to be completed successfully before the applicant can commence with their PhD studies and become eligible for the stipend.

Eligibility criteria

Successful applicants are expected to hold a Bachelor degree or Master degree in Information Security, Computer Science, Mathematics or related discipline accomplished with a 1st class or good 2:1 honours and have strong background knowledge and technical skills (incl. programming skills). A related research-oriented BSc final year project or MSc dissertation will strengthen the profile of the candidate. We particularly welcome applications from ongoing students who are projected to fulfil the above criteria and complete their degree in 2018.

How to apply

For further details and an informal discussion please contact Professor Steve Schneider at prior to submitting an application.

Formal applications should be submitted through our Computer Science programme page. You should make clear in your application that you are applying for this studentship. You should also submit a cover letter stating that you are a UK national and willing to go through the required security vetting process.

This is a “rolling advert” with a nominal closing date of 31 May 2018. Applications are welcome at any time and the timing of the selection process will be dependent on the applications received. The start date will vary depending on the successful candidate but must begin before October 2018.

The University of Surrey is committed to equality of opportunity in employment and offers many opportunities to help researchers develop as independent researchers.

Studentship FAQs

Read our studentship FAQs to find out more about applying and funding.

Contact details

Steve Schneider
08 BB 02
Telephone: +44 (0)1483 689637

Studentships at Surrey

We have a wide range of studentship opportunities available.