<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div>Post Type: Full time (3 year fixed term)<br></div><div>Salary: £35,308 to £38,474 per annum</div><div>Closing Date: 1st Sept, 2023 <br></div><div><br></div><div>-------</div><div><br><div>We are seeking to recruit two full-time postdoctoral researchers to work on one or
 more of the areas below: <br></div><div><br></div><div>- emerging hardware architectures (weak memory, RDMA, persistent memory, CXL),<br>- formal modelling, verification and/or logic,<br>- interactive and automated reasoning tools,<br>- proofs of safety and/or security properties,<br>- programming languages and/or type systems, <br>- concurrent and/or distributed algorithms and related topics.<br><br>The positions are funded by the UK Engineering and Physical Science Research Council (EPSRC) projects:<br><br>- Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT) (<a href="https://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X015149*1__;Ly8!!IBzWLUs!T0ibgLPyKqZoQTXPcVRC2cEra537-DYht0zCR2W3J_DPnQESVcnduqNUUUkFm8wTPdaPtT_QvKYP3TbxXGa16liQG62l1luj1jly$" target="_blank">https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X015149/1</a>) <br>- SACRED-MA: Safe And seCure REmote Direct Memory Access (<a href="https://urldefense.com/v3/__https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP*X037142*1__;Ly8!!IBzWLUs!T0ibgLPyKqZoQTXPcVRC2cEra537-DYht0zCR2W3J_DPnQESVcnduqNUUUkFm8wTPdaPtT_QvKYP3TbxXGa16liQG62l1k-ehkup$" target="_blank">https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X037142/1</a>)<br><br>The successful applicant will work in a multidisciplinary team under the guidance of Brijesh Dongol (PI) and Gregory Chockler (co-I), 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.<br><br>*** Deadline for applications ***<br>The deadline for applications is September 1st, 2023. The posts are available for up to 36 months in the first instance to begin on October 1st, 2023, or as soon as practical thereafter.</div><div><br></div><div><div>Apply at: <a href="https://urldefense.com/v3/__https://jobs.surrey.ac.uk/Vacancy.aspx?id=13403&forced=2__;!!IBzWLUs!T0ibgLPyKqZoQTXPcVRC2cEra537-DYht0zCR2W3J_DPnQESVcnduqNUUUkFm8wTPdaPtT_QvKYP3TbxXGa16liQG62l1nV3RFor$" target="_blank">https://jobs.surrey.ac.uk/Vacancy.aspx?id=13403&forced=2</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><br></div></div></div>