Job opportunities

View All Vacancies

Research Fellow

Department of Computer Science

Location:  Guildford
Salary:  £32,817 to £35,845
Post Type:  Full Time
Advert Placed:  Monday 19 April 2021
Closing Date:  Monday 31 May 2021
Interview Date:  To be confirmed
Reference:  022121

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time researcher to the Surrey Centre for Cyber Security (SCCS).  The successful candidate will join the project Verifiably Correct Swarm Attestation ( funded by the EPSRC. The project brings together multidisciplinary themes covering the National Cyber Security Centre (NCSC) Research Institutes: VeTSS (verification), RISE (hardware security) and RITICS (industrial-critical systems). 

Attestation protocols form an important class of protocols that establish trust between two parties. In this project, we are interested in the design, implementation and formal verification of such protocols operating over distributed systems of devices. We aim to take into account hardware and network characteristics with proofs that are supported by mechanisation using associated theorem proving and/or model checking tools. The project will be conducted in collaboration with industry partners Thales and Arm as well as international research labs at SRI (USA) and NTU (Singapore).

We are looking for applicants that demonstrate strong research and analytical skills, have strong communication skills and enthusiasm for developing their own research ideas.  Applicants should have an excellent mathematical background, a solid understanding of cyber security, and knowledge of how to reason about systems. This must be evidenced by high-quality research publications or artifacts in security, formal verification, distributed systems, programming languages, or computer architecture.

Applicants must have a PhD in Computer Science or a cognate discipline, or equivalent professional experience. The post is available for up to 36 months in the first instance to begin on June 1st 2021 or as soon as possible after.

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.  Our research includes security verification, protocol design and analysis, distributed and network systems, data privacy, privacy preserving security, and applied cryptography.

The position offers the platform for the research fellow to work within the group and develop skills to become an independent researcher and to contribute to the project’s vision. Significant interaction with project partners is encouraged, and the dissemination strategy may involve national and international travel, with many personal development opportunities.

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

For informal enquiries and further information please contact Dr Brijesh Dongol at

Email details to a friend
Further details:

For more information and to apply online, please download the further details and click on the 'apply online' button above.

We acknowledge, understand and embrace diversity.




Get updates


Athena Swan Bronze Award / Disability Confident Committed / Stonewall Diversity Champion