News and Events: Open Positions

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.

Please note that this newsitem has been archived, and may contain outdated information or links.