2 formal-verification Fellowship positions in Uk

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 3 months ago

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

Research Fellow - School of Computer Science - 105667 - Grade 7

University of Birmingham | Birmingham, England | United Kingdom | 1 day ago

Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their