Logic List Mailing Archive

PhD student position in cyber security, Guildford (England)

An exciting PhD position is now open. It will be jointly hosted at the 
Surrey Centre for Cyber Security 
(SCCS)<https://www.surrey.ac.uk/surrey-centre-cyber-security>, a 
GCHQ-recognised ?Academic Centre of Excellence in Cyber Security 
Research?, and Surrey's 5G Innovation Center 
(5GIC)<https://www.surrey.ac.uk/5gic>

@topic: This PhD is called "5GTech-Sec: Security analysis of systems using 
emerging 5G Technologies". 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 
particularly suited for the verification of 5G systems. These will be 
primarily based on developing new techniques based on model checking of 
non-classical logics, such as temporal-epistemic logics, as well as 
theorem proving suited to security-driven theories. To this end, 
5GTech-Sec will focus on: (1) capturing the arbitrary-size of the 5G 
systems; (2) encoding new threats stemming specifically from the novelty 
of 5G designs (e.g., reconfigurable networks and topologies); (3) 
analysing privacy properties.


@ candidates: If you are fascinated about security and privacy, you like 
to reason abstractly about problems, or you know bits of formal methods 
(e.g., logics) or formal verification (e.g., theorem proving, model 
checking), if you?ve had some experience with (mobile) networks, then you 
should enquire about this PhD position.

The research in 5GTech-Sec is supported by the UK Government and it is in 
partnership with BT.  Due to funding requirements, candidates must be 
British citizens.

@applications More details on the studentship, funding, eligibility 
criteria and how to apply can be found here: 
https://www.jobs.ac.uk/job/BOZ441/phd-studentship-opportunity-security-analysis-of-systems-using-emerging-5g-technologies-5gtech-sec 
and 
https://www.jobs.ac.uk/job/BOZ441/phd-studentship-opportunity-security-analysis-of-systems-using-emerging-5g-technologies-5gtech-sec<https://www.jobs.ac.uk/job/BOZ441/phd-studentship-opportunity-security-analysis-of-systems-using-emerging-5g-technologies-5gtech-sec>

For more details, feel free to contact, Dr Ioana Boureanu, at 
i.boureanu@surrey.ac.uk<mailto:i.boureanu@surrey.ac.uk>.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam