Research Fellow in Verification or Security or Concurrent/Distributed Systems

Economicsnetwork; Guildford; Hybrid; GBP 37,000 - 41,000; Full time

Job summary

An established university is seeking a postdoctoral research fellow to join a dynamic team focused on cutting-edge research in computer science. This role offers the opportunity to work on innovative topics such as emerging hardware architectures, formal verification, and distributed algorithms. The successful candidate will contribute to impactful research projects and collaborate with leading academics and industry partners in a supportive environment. With access to advanced research facilities and a commitment to career development, this position is ideal for those passionate about making significant contributions to the field of computer science.

Benefits

Generous pension

Relocation assistance

Flexible working options

Access to leisure facilities

Travel schemes

Family friendly benefits

On-site nursery

Qualifications

• Strong research background with a solid publication record.
• Experience in security verification and protocol design.

Responsibilities

• Conduct research on emerging hardware architectures and security verification.
• Collaborate with multidisciplinary teams and academic partners.

Skills

Research in emerging hardware architectures

Formal modelling and verification

Theorem provers and model checkers

Programming languages and type systems

Concurrent and distributed algorithms

Education

PhD in Computer Science

Tools

NVIDIA RDMA cluster

Intel Optane

Intel SGX

Job description

The University of Surrey is a global community of ideas and people, dedicated to life-changing education and research.

We are ambitious and have a bold vision of what we want to achieve - shaping ourselves into one of the best universities in the world, which we are achieving through the talents and endeavour of every employee.

Our culture empowers people to achieve this aim and to collectively, and individually, make a real difference.

About the role

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral research fellow 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 & model checkers;
• proofs of safety and/or security properties;
• programming languages and/or type systems;
• concurrent and/or distributed algorithms; and related topics.

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 academics (Imperial, Kent, Sheffield, MPI-SWS, Cornell, IMDEA, etc) and industrial collaborators (Arm, NVIDIA, Galois), researchers and PhD students.

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, https://vetss.org.uk/)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.

About you

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

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

How to Apply

Please submit your CV, cover letter, Research Proposal and Recent Relevant Publication with your application on the university website.

This is a fixed term contract up to 31/08/2026, with the possibility of an extension.

The University of Surrey reserves the right to close this vacancy early/later based on Volume and Calibre of applications.

Further details

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

In return we offer a generous pension, relocation assistance where appropriate, flexible working options including job share & blended home/campus working locations (dependent on work duties), access to world-class leisure facilities on campus, a range of travel schemes & supportive family friendly benefits including an excellent on-site nursery.

Click here to find out more about the benefits we offer to support you.

£37,174 to £40,497 per annum