Month: May 2024

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 »

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024

Events / By

We are very happy to be on of the sponsors of this year’s Kent Concurrency Workshop and S-REPLS 15, taking place at the University of Kent, Canterbury, on 18‐19 July, 2024. The South of England Regional Programming Language Seminar (S-REPLS) is a regular and informal meeting open to everyone with a professional interest — whether …

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024 Read More »