5GTech-Sec will undertake the formal security & privacy analysis of 5G-systems against 5G-specific security and privacy risks: e.g., threats stemming from reconfigurable networks, arbitrary number of connections to a small cell, etc. In other words, this a project to develop formal models, verification mechanisms and tools that are suited for the verification of 5G systems. To this end, we will focus on: (1) capturing the arbitrary-size of these systems; (2) encoding new threats stemming from the novelty of 5G designs (e.g., reconfigurable networks and topologies); (3) analysing privacy properties.
The research in 5GTech-Sec is supported by the UK Government and it is in partnership with BT. The PhD student will work at the University of Surrey, at the SCCS (Surrey Centre for Cyber Security) and at the 5GIC (5G Innovation Centre).
If you are fascinated about security and privacy, you’ve had experience with (mobile) networks, you like to reason abstractly about problems, or you may know bits of formal methods (e.g., logics) or formal verification (e.g., theorem proving, model checking), then you should enquire about this PhD position!
• Bachelor degree in Computer Science (UK equivalent 1st classification)
• Interest in verification techniques (e.g. formal methods/analysis, logics) and/or in security and privacy
• Programming experience (any language)
• Analytical skills: knowledge of foundations of computer science (e.g., discrete mathematics); ability to think independently
• Strong verbal and written communication skills, both in plain English (see http://www.plainenglish.co.uk
), and scientific language for publication in relevant journals and presentation at conferences.
• Master’s degree (UK equivalent of Merit classification or above)
• Experience in Boolean logic, and first order logic, or other specific logics
• Experience in formal verification (model checking, theorem proving or SMT solving)
• Experience of implementation and/or experimentation with verification tools
• Knowledge of cryptography and/or information security and/or networks
• Proficiency in C++ and/or Java
• Experience with a functional programming language (e.g., Haskell, Ocaml)
How to apply:
Applicants should apply through the PhD Computer Science course page: https://www.surrey.ac.uk/postgraduate/computer-science-phd
Please include the studentship title in your application.
The course will be commencing on the 1st July 2019 and will be finishing on the 30th January 2023.