Research Fellow, Department of Computer Science

Guildford, United Kingdom
£31,302 to £34,189 per annum plus benefits
04 Sep 2018
End of advertisement period
14 Oct 2018
Contract Type
Fixed Term
Full Time

Department of Computer Science

Location:  Guildford
Salary:  £31,302 to £34,189 per annum plus benefits   Fixed Term Contract until 30/09/2021
Post Type:  Full Time
Closing Date:  Sunday 14 October 2018
Interview Date:  Wednesday 24 October 2018

The Department of Computer Science at the University of Surrey seeks to recruit a post-doctoral researcher in the field of formal verification of concurrent systems for a full-time position to start as soon as possible after 15th October 2018. The post is part of the 3-year EPSRC-funded project “Verifiably Correct Transactional Memory”.

The main responsibility of the post holder will be the verification of transactional memory implementations, examining their relationship with weak memory in both hardware (ARM, Intel TSO) and programming languages (C++, Java). We will also consider the interaction between transactional and non-transactional code, and explore the design space for hybrid transactional memory in the context of modern multi-core architectures. The post holder will be working closely with researchers at partner universities (Sheffield and Kent) and industry (ARM and Mozilla), as well associated partners (University of Augsburg, University of Paderborn, DePaul University, the University of Queensland, and Victoria University of Wellington). Further details of the project are available here:

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, As part of your application please make sure a CV is submitted. The University is committed to equality of opportunity in employment and offer many opportunities to help researchers develop as independent researchers.

Please apply online through the button below.

Please note, it is University Policy to offer a starting salary equivalent to Level 3.6 (£31,302) 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 (£32,236).

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.