<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><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 position is funded by the UK Engineering and Physical Science Research Council (EPSRC) project:<br>- Safe and secure COncurrent programming for adVancEd aRchiTectures (<span class="gmail-il">COVERT</span>) (<a href="https://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X015149*1__;Ly8!!IBzWLUs!SRJqaThuOG1DhFWugbxvaXOhGdvwyHafqW-Emwf8bVL3Kk-PLghsjcLXLf7s63pvlHl3WH7b4cpXk2mPxLXRN-lBX73dlqXrbREn$" target="_blank">https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015149/1</a>)<br><br>The successful applicant will work in a multidisciplinary team, as well as a large team of academic (Imperial, Kent, Sheffield, MPI-SWS, Cornell, IMDEA, etc) 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,024 to £39,347 per annum</div><div>Closing Date: 28th June 2024</div></div><div><br></div><div><div>Apply at: <a href="https://urldefense.com/v3/__https://jobs.surrey.ac.uk/Vacancy.aspx?id=14085__;!!IBzWLUs!SRJqaThuOG1DhFWugbxvaXOhGdvwyHafqW-Emwf8bVL3Kk-PLghsjcLXLf7s63pvlHl3WH7b4cpXk2mPxLXRN-lBX73dlsRzkMLc$">https://jobs.surrey.ac.uk/Vacancy.aspx?id=14085</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>