Research Fellow in Verification / Security / Concurrent / Distributed Systems

Job title:

Research Fellow in Verification / Security / Concurrent / Distributed Systems

Company

University of Surrey

Job description

Job Information Organisation/CompanyUNIVERSITY OF SURREY Research FieldComputer science Researcher ProfileLeading Researcher (R4) CountryUnited Kingdom Application Deadline31 Jan 2025 – 00:00 (UTC) Type of ContractPermanent Job StatusFull-time Is the job funded through the EU Research Framework Programme?Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure?NoOffer DescriptionThe 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 roleThe 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 and model checkers;
• proofs of safety and/or security properties;
• programming languages and/or type systems;
• concurrent and/or distributed algorithms; and related topics.

The positions are funded by the UK Engineering and Physical Science Research Council (EPSRC) projects: Safe and secure Concurrent programming for Advanced Architectures (COVERT) (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 EnvironmentSurrey 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, )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 youWe 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 ApplyPlease submit your CV, cover letter, Research Proposal and Recent Relevant Publication with your application on the university website, The deadline for applications is 31st January’25.This is a fixed term contract up to 31/08/2026, with the possibility of an extension.Further detailsWhere to apply WebsiteRequirementsAdditional InformationWork Location(s)Number of offers available 1 Company/Institute UNIVERSITY OF SURREY Country United Kingdom City Guildford GeofieldContact CityGuildfordSTATUS: EXPIREDShare this page

Expected salary

Location

Guildford, Surrey

Job date

Sun, 12 Jan 2025 05:25:23 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (globalvacancies.org) you saw this job posting.