Please note that this newsitem has been archived, and may contain outdated information or links.
PhD Studentship in Verification of Security and Privacy in Modern Threat Landscapes, Guildford (England)
Deadline: Sunday 31 December 2017
Formalism and (semi)-automatic tools based on non-classical logics, for the verification of systems’ security and privacy in modern threat landscapes.
Duration of studentship: 3 years. The student will be registered with University of Surrey and join a team of researchers at Surrey Centre for Cyber Security, and will be supervised by Dr. Ioana Boureanu , in collaboration with Prof. Steve Schneider.
For more information, see
https://jobs.surrey.ac.uk/vacancy.aspx?ref=050517.
Please note that this newsitem has been archived, and may contain outdated information or links.