Imperial College London Featured PhD Programmes
Engineering and Physical Sciences Research Council Featured PhD Programmes
University of Glasgow Featured PhD Programmes
University of West London Featured PhD Programmes
University of Southampton Featured PhD Programmes

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

  • Full or part time
  • Application Deadline
    Applications accepted all year round
  • 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.

The course will be commencing on the 1st July 2019 and will be finishing on the 30th January 2023.

Funding Notes

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

Email Now

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully

FindAPhD. Copyright 2005-2019
All rights reserved.