University College London Featured PhD Programmes
The University of Manchester Featured PhD Programmes
FindA University Ltd Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Reading Featured PhD Programmes

PhD Studentship Opportunity in Security Analysis of Systems using Emerging 5G Technologies (5GTech-Sec)

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  • Full or part time
    Dr I Boureanu
  • Application Deadline
    No more applications being accepted
  • Funded PhD Project (UK Students Only)
    Funded PhD Project (UK Students Only)

Project Description

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!

Entry Requirements
• 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, 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:
Please include the studentship title in your application.

Funding Notes

Scholarship Applicants: British citizen only (due to funding regulations).
Stipend: £22,000/ year, tax free; fees covered.

FindAPhD. Copyright 2005-2019
All rights reserved.