About the role

The Department of Computer Science at the University of Surrey is seeking to recruit a full-time postdoctoral research fellow 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 of safety and/or security properties;
  • programming languages and/or type systems;
  • concurrent and/or distributed algorithms; and related topics.

The positions are funded by the UK Engineering and Physical Science Research Council (EPSRC) projects: Safe and secure Concurrent programming for Advanced Architectures (COVERT) (https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015149/1).

Additional Information and to apply https://jobs.surrey.ac.uk/Vacancy.aspx?ref=004024-R

Closing Date: 3rd November 2024

Contact: Prof. Brijesh Dongol b.dongol@surrey.ac.uk