Universiteit van Amsterdam

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.