Don't forget to add to your contacts list, so that important messages about applications and vacancies don't go into your Junk or Spam email folder.

Please note that the University of Surrey Jobs site receives regular technical updates on the 18th of every month, between 09:00 and 11:00 UK time - during these times the service will be unavailable, therefore please ensure you manage your applications and vacancies outside of these times.

Job opportunities

View All Vacancies

Research Fellow

Department of Computer Science

Location:  Guildford
Salary:  £31,302 to £35,211 per annum
Fixed Term
Post Type:  Full Time
Advert Placed:  Friday 26 July 2019
Closing Date:  Tuesday 27 August 2019
Interview Date:  Friday 30 August 2019
Reference:  056319

The Department of Computer Science at the University of Surrey seeks to recruit an outstanding post-doctoral researcher in the field of formal verification of concurrent systems for a full-time position as soon as possible after 16th September 2019.

The post is part of the 18.5 month NCSC-funded project “FaCT: Faithful Composition of Trust”. The main responsibility of the post holder will be to:

  1. implement a lightweight Trusted Platform (TP) that relies on the guarantees provided by a verified microkernel such as sel4 to ensure isolation, and
  2. investigate the end-to-end security guarantees that can be provided for communicating TP systems.

The post holder will be working closely with researchers within the security group at Surrey and partner universities, as well associated partners including NCSC. The post holder will benefit from the research environment provided by the Surrey Centre for Cyber Security, an Academic Centre of Excellence in Cyber Security Research recognised by the British Government. The Centre’s research focus is on the design and analysis of security protocols, data privacy, access control, privacy preserving security, trustworthy systems, and distributed ledger technologies.

The University of Surrey is amongst the highest achieving universities in the United Kingdom, having been awarded the Times/Sunday Times University of the Year Award for 2016. We are ranked in the top 10 in the Guardian University Guide 2018. In addition to your salary you will receive a generous annual leave entitlement, pension provision and excellent development opportunities. Our benefits package also includes an exclusive discounted membership package to the Surrey Sports Park and an on-site Nursery.

Informal enquiries are welcome and should be directed to Dr Brijesh Dongol, or Dr Santanu Dash,

Apply online or download application documents and further information at If you are unable to apply online please contact Bianca Barrett (

The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers. The closing date for applications is 27th August 2019 Expected start date: 16th September 2019


Please note, it is University Policy to offer a starting salary equivalent to Level 3.6 (£31,302) per annum (full-time) to successful applicants who have been awarded, but are yet to receive, their PhD certificate.  Once the verified original PhD certificate has been submitted to the local HR Department, the salary will be increased to Level 4.1 (£32,236) per annum (full time).

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