Skip to main content
This site requires the use of cookies as defined by our Terms and Conditions.  We have provided a detailed description of how cookies work and are used on the site.  To accept cookies, please click the "Accept Cookies" button.
View All Vacancies

Research Fellow in Verification or Security or Concurrent/Distributed Systems

Computer Science

Location:  Guildford
Salary:  £35,308 to £38,474 per annum
Post Type:  Full Time
Closing Date:  23.59 hours BST on Friday 01 September 2023
Reference:  035723

The Department of Computer Science at the University of Surrey is seeking to recruit two full-time postdoctoral researchers to work on a range of topics in the areas including:

  • emerging hardware architectures (weak memory, RDMA, persistent memory, CXL)
  • formal modelling, verification and/or logic, 
  • Interactive and automated tools, such as theorem provers and model checkers
  • proofs of safety and/or security properties,
  • programming languages and/or type systems,
  • concurrent and/or distributed algorithms
  • and related topics.

We are looking for applicants that demonstrate strong research in one or more of the above areas backed by a strong publication record. 

The positions are funded by the UK Engineering and Physical Science Research Council (EPSRC) projects:

The successful applicant will work in a multidisciplinary team under the guidance of Brijesh Dongol (PI) and Gregory Chockler (co-I), as well as a large team of academic (Imperial, Kent, Sheffield, MPI-SWS, Cornell, IMDEA, etc) and industrial collaborators (Arm, NVIDIA, Galois), researchers and PhD students. 

Applicants must have or be close to obtaining a PhD in Computer Science.

Deadline for applications

The deadline for applications is September 1st, 2023. The posts are available for up to 36 months in the first instance to begin on October 1st, 2023, or as soon as practical thereafter.

Research Environment

Surrey is recognized by the NCSC as an Academic Centre of Excellence in Cyber Security Research and offers a thriving research environment with world-leading researchers. Brijesh Dongol is a Director of the NCSC/UK Research Institute on Verified Trustworthy Software Systems (VeTSS, hosted jointly at Surrey and Imperial.

Our research includes security verification, protocol design and analysis, distributed and network systems, concurrency, data privacy, privacy preserving security, and applied cryptography. We offer access to a variety of cutting-edge hardware testbeds including a 7-node RDMA cluster (NVIDIA) as well as machines equipped with persistent memory (Intel Optane) and trusted execution environments (Intel SGX).

The University is committed to equality and diversity. Research staff at the Department are supported and encouraged in their career development through mentoring and early career researcher training. The Department fosters a collegial and collaborative atmosphere, in which individuals are valued for the varied skills and perspectives they bring.


For informal enquiries and further information please contact Brijesh Dongol at or Gregory Chockler at

To apply please submit your CV, a Cover Letter and Research Statement and a copy of a recent representative publication. All of these can be attached as part of your application. 

You can find out more about our benefits here

Interview planned for mid September 2023 date to be confirmed.

Further details:    Job Description    

Please note, it is University Policy to offer a starting salary equivalent to Level 3.6 (£34,980) to successful applicants who have been awarded, but are yet to receive, their PhD certificate.  Once the original PhD certificate has been submitted to the local HR Department, the salary will be increased to Level 4.1 (£36,024).



Forgotten Details


Logo: Gender Charter - Athena Swan Silver Award
Logo: Race Equality Charter - Bronze Award
Logo: Disability Confident Committed