Research Fellow in Verification or Security or Concurrent/Distributed Systems
Guildford, Surrey, United Kingdom
University of Surrey
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 … 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. More ❯
Employment Type: Permanent
Salary: GBP Annual
Posted: