PhD studentship in verification of security & privacy

The University of Surrey has an opening for a PhD Studentship researching formalism and (semi)-automatic tools based on non-classical logics, for the verification of systems’ security and privacy in modern threat landscapes.

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. The PhD studentship is aimed at focusing on the software development of the aforementioned (semi)-automatic tools. However, a move towards (more) theoretically-centred work in this space is also possible.