2 formal-semantics Fellowship positions at University of Surrey

Research Fellow in AI-based automotive algorithms and estimators

University of Surrey | United Kingdom | 6 days ago

of work with that of others involved in the project. Write-up of results in formal documents and contributions to the preparation of journal/conference papers and other outputs (as required) are expected

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 17 days 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