<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div dir="ltr"><div>Dear all,</div><div><br></div><div>(Apologies for multiple postings.)<br></div><div><br><div>We are seeking to recruit a full-time postdoctoral researcher to work on one or
 more of the areas below: <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 position is funded by the UK Engineering and Physical Science Research Council (EPSRC) project: 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!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_Z2iUTLz$" target="_blank">https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X037142/1</a>).<br><br>The
 successful applicant will work with Brijesh Dongol and Gregory Chockler, as well as a large team of academics (Imperial, MPI-SWS, Cornell, Tel Aviv,
IMDEA, etc) and industrial collaborators (Arm, NVIDIA).<br></div><div><br></div><div>Informal enquiries are welcome via e-mail: <a href="mailto:b.dongol@surrey.ac.uk" target="_blank">b.dongol@surrey.ac.uk</a> or <a href="mailto:g.chockler@surrey.ac.uk" target="_blank">g.chockler@surrey.ac.uk</a>. </div><div><br></div><div><br></div><div>*** Further Details ***<br></div><div><div>Post Type: Full time (3-year, fixed term)<br></div><div>Salary: £35,308 to £38,474 per annum</div><div>Closing Date: 10th Nov, 2023 <br></div>Application Site: <a href="https://urldefense.com/v3/__https://jobs.surrey.ac.uk/Vacancy.aspx?id=13603&forced=2__;!!IBzWLUs!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_aYTicLl$">https://jobs.surrey.ac.uk/Vacancy.aspx?id=13603&forced=2</a></div></div><div><br></div><div><br></div><div>Best wishes,</div>Brijesh<br></div><div dir="ltr"><div>---</div><div><br></div></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Professor of Computer Science<div>Director of UK Research Institute on Verified Trustworthy Software Systems (<a href="https://urldefense.com/v3/__http://vetss.org.uk__;!!IBzWLUs!Tbt0NIr5MF0_qbUhVm8I_GM-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_XWMxq3w$" target="_blank">VeTSS</a>)<br></div><div>University of Surrey, UK</div></div></div></div>