2 software-verification-postdoc Fellowship positions at University of Surrey 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 in Biomedical Data Sciences

University of Surrey | United Kingdom | about 14 hours ago

research or industry experience will also be considered. Good statistical and analytical skills are necessary, ideally with the ability to work in R and experience with bioinformatic tools/software. Coding