<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div>Apologies for cross-posting. </div><div><br></div><div>We are seeking to recruit a full-time postdoctoral researcher to work on one or more of the areas below:<br></div><div><div><br></div><div>- emerging hardware architectures (weak memory, RDMA, persistent memory, CXL),<br>- verification with interactive and automated reasoning tools,<br>- proofs of safety / security properties,<br>- programming languages,<br>- concurrent and/or distributed algorithms and related topics.<br><br>The successful applicant will work in a multidisciplinary team, as well as a large team of academic (Imperial, MPI-SWS, Cornell, IMDEA) and industrial collaborators (Arm, NVIDIA, Galois), researchers and PhD students.<br><br>Applicants must have or be close to obtaining a PhD in Computer Science.<div><br></div>*** Further Details ***</div><div><div>Post Type: Full time <br></div><div>Salary: £36,924 to £40,247 per annum</div><div>Closing Date: 31st January 2025</div></div><div><br></div><div><div>Apply at: <a href="https://urldefense.com/v3/__http://jobs.surrey.ac.uk/048824-R__;!!IBzWLUs!UdXawt-MZAi2UWHfDNRZzqb1JH6IzShmksq1WH42c9bBcSKgAveSiDzepE6QWgaPsOf7Ioa9A2UszNE3IOPwchaZKK0R6WnlTJsK$" rel="noreferrer" target="_blank">http://jobs.surrey.ac.uk/048824-R</a></div></div></div><div><br>*** Enquiries ***<br>For informal enquiries and further information please contact Brijesh Dongol at <a href="mailto:b.dongol@surrey.ac.uk" target="_blank">b.dongol@surrey.ac.uk</a> or Gregory Chockler at <a href="mailto:g.chockler@surrey.ac.uk" target="_blank">g.chockler@surrey.ac.uk</a>.</div></div>