University of Exeter funding: Safety and Security of Advanced Sys

Safety and Security of Advanced Systems, Computer Science – PhD (Funded) Ref: 3887

About the award


Academic Supervisors

Prof Achim D. Brucker, College of Engineering, Mathematics and Physical Sciences, University of Exeter 

Dr Diego Marmsoler, College of Engineering, Mathematics and Physical Sciences, University of Exeter


The University of Exeter’s College of Engineering, Mathematics and Physical Sciences is inviting applications for two fully-funded PhD studentship to commence in as soon as possible.  For eligible students the studentship will cover  tuition fees plus an annual tax-free stipend of at least £15,009 for 3.5 years full-time, or pro rata for part-time study.  The student would be based in the Department of Computer Science in the College of Engineering, Mathematics and Physical Sciences at the Streatham Campus in Exeter.

Location: Computer Science Department, Streatham Campus, University of Exeter, Devon.

Exeter is one of the fastest growing cities in the UK and has been named one of the best places to live in the UK (Arcadis Investigating Britain: Cities Built for the Future 2018). The University of Exeter is a research intensive University and member of the prestigious Russel Group. The Department of Computer Science is a member of the Turing Institute and the Complete University Guide ranks the Department 11th in the UK.

Project Description

Two fully funded PhD scholarships for EU/UK applicants are available in the Security and Trust of Advanced Systems Group (Prof. Achim Brucker and Dr. Diego Marmsoler) at the Department of Computer Science of the University of Exeter, UK.

We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in some of the following topics:

  • safety or security of (software) systems,
  • formal modelling or formal reasoning/verification,
  • program analysis or program verification,
  • language-based security
  • semantics of programming languages,
  • theorem proving, model checking,
  • cryptographic protocols,
  • distributed systems (e.g., blockchain),
  • specification-based testing , and
  • design and implementation of security architectures.

This award provides annual funding to cover UK/EU tuition fees and a tax-free stipend.  For students who pay UK/EU tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend.  The studentship will be awarded on the basis of merit for 3.5 years of full-time study.

Entry requirements

Applicants for this studentship must have obtained, or be about to obtain, a First or Upper Second Class UK Honours degree, or the equivalent qualifications gained outside the UK, in Computer Science, Mathematics or a closely related subject.

If English is not your first language you will need to have achieved at least 7.0 in IELTS and no less than 6.0 in any section by the start of the project.  Alternative tests may be acceptable (see

How to apply

In the application process you will be asked to upload several documents. 

  • CV
  • Letter of application (outlining your academic interests, prior research experience and reasons for wishing to undertake the project).
  • Transcript(s) giving full details of subjects studied and grades/marks obtained (this should be an interim transcript if you are still studying)
  • if possible, the Master’s or Bachelor’s thesis and publications.
  • Two references from referees familiar with your (academic) work. Please ask your referees to email your references direct to quoting the studentship reference number 3887.

If you are not a national of a majority English-speaking country you will need to submit evidence of your proficiency in English.

All candidates matching the profile above are encouraged to apply as soon as possible. We will process applications until all positions are filled. The closing date for applications is midnight on 1 May 2020.

If you have any general enquiries about the application process please email or phone +44 (0)1392 725801 or +44 (0)1392 725150.  Project-specific queries should be directed to the supervisors, Prof Achim Brucker ( or Dr Diego Marmsoler (


Application deadline:1st May 2020
Number of awards:2
Duration of award:per year
Contact: STEMM PGR Admissions