-idmIg13b_9oXcfOdjBMcaS61fQM7m9Akm8B4hLe2Qas1AQ4DHQBbtOHafEai3YQwGPHw_Z2iUTLz$
).
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).
Informal enquiries
?GrantRef=EP*X037142*1__;Ly8!!IBzWLUs!T0ibgLPyKqZoQTXPcVRC2cEra537-DYht0zCR2W3J_DPnQESVcnduqNUUUkFm8wTPdaPtT_QvKYP3TbxXGa16liQG62l1k-ehkup$
)
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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
protocols, data privacy, access control, privacy preserving
security, trustworthy systems, and distributed ledger technologies.
Informal enquiries are welcome and should be directed to Dr Brijesh Dongol,
b.don...@surrey.ac.uk<mailto:b.don...@surrey.ac.uk> or Dr Santanu Dash,
s.d...@surrey
