Research Fellow, Computer Science

Computer Science

Location: Guildford
Salary: £35,308 to £38,474 per annum
Fixed Term
Post Type: Full Time
Closing Date: 23.59 hours BST on Tuesday 04 July 2023
Reference: 029423

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time researcher on the project Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) (https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015149/1) funded by the EPSRC.

The project (see Candidate Pack link below) brings together multidisciplinary themes covering formal verification, safety and security in the presence of novel architectural features.

We are looking for applicants that demonstrate strong research and analytical skills, have excellent communication and enthusiasm for developing their own research ideas.

Applicants should have a strong mathematical background 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. Understanding of modern proof tools, including, but not exclusive to Isabelle/HOL, Coq, Lean, PVS, Dafny, and familiarity with model checkers and SMT solvers is highly desirable.

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 September 1^st, 2023, 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 b.dongol@surrey.ac.uk. A project overview can be found on the link below.

Please submit a CV and covering letter with your application.

Further details: Job Description

Please note, it is University Policy to offer a starting salary equivalent to Level 3.6 (£34,314) 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 (£35,308).