Post-doc positions

Vacancy: Research Fellow in Verification or Security or Concurrent/Distributed Systems

Post-doc positions, Vacancies / By

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral researcher 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 …

Vacancy: Research Fellow in Verification or Security or Concurrent/Distributed Systems Read More »

Vacancy: Post-doctoral position in E-Voting at University of Surrey

Post-doc positions, Vacancies / By

The Surrey Centre for Cyber Security (SCCS) is looking for a postdoc with expertise in electronic-voting or related topics. The aim of the project is to design and analyse dispute-resolution mechanisms for electronic voting. Closing Date: 13 May 2024. All details as below, or contact Dr. Cătălin Drăgan c.dragan@surrey.ac.uk We encourage candidates with experience in …

Vacancy: Post-doctoral position in E-Voting at University of Surrey Read More »