[TYPES/announce] Postdoctoral Position in Verified Security

[Brijesh Dongol]

Applications are invited for a 3-year postdoctoral position on *Verifiably
Correct Swarm Attestation* (
https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/V038915/1) funded
by the EPSRC.

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).

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.

Application deadline: 31st May, 2021
Further information and application submission via
https://jobs.surrey.ac.uk/Vacancy.aspx?id=8905

For informal enquiries and further information please contact me on
b.dongol at surrey.ac.uk.

Best wishes,
Brijesh
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210506/95e044df/attachment-0001.htm>