<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div>Applications are invited for a 3-year postdoctoral position on <b>Verifiably Correct Swarm Attestation</b> (<a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V038915/1" target="_blank">https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V038915/1</a>)
 funded by the EPSRC. <br></div><div><br></div><div>We are interested 
in the design, implementation and formal verification of attestation protocols 
operating over distributed systems of devices. We aim to take into 
account hardware and network characteristics with proofs that are 
supported by mechanisation using associated theorem proving and/or model
 checking tools. The project brings together multidisciplinary 
themes covering the National Cyber Security Centre (NCSC) Research 
Institutes, and is in collaboration with industry partners 
Thales and Arm as well as research labs at SRI (USA) and 
NTU (Singapore).</div><div><br></div><div>Applicants must have, or be expected to shortly obtain, a PhD in Computer Science or a cognate discipline, with expertise in security, formal verification, distributed systems, 
programming languages, or computer architecture.</div><div><br></div><div>Application deadline: 31st May, 2021</div><div>Further information and application submission via <a href="https://jobs.surrey.ac.uk/Vacancy.aspx?id=8905" target="_blank">https://jobs.surrey.ac.uk/Vacancy.aspx?id=8905</a> <br></div><div><br></div><div>
        For informal enquiries and further information please contact me on <a href="mailto:b.dongol@surrey.ac.uk" target="_blank">b.dongol@surrey.ac.uk</a>.</div><div><br></div><div>Best wishes,</div><div>Brijesh<br></div></div>