[TYPES/announce] PhD position in Logic & Security at UCL, London

Pym, David d.pym at ucl.ac.uk
Fri Oct 8 10:57:00 EDT 2021


[Apologies for cross-postings. Please share widely.] 

I am looking for a PhD student in logic, in the PPLV group 
(https://urldefense.com/v3/__http://pplv.cs.ucl.ac.uk/welcome/__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qoddIkrgQ$ ) at UCL (https://urldefense.com/v3/__http://www.ucl.ac.uk__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qpWI7KfmA$ ) 
in London. The project is to work on logic as basis for system 
modelling. Examples of questions to be addressed include: 

- Logical modelling of the structure of systems ecosystems, 
  compositional structure, with particular reference substitution, 
  and local reasoning (in the sense of Separation Logic and 
  related systems). 

- Policy design for decentralized, distributed systems.  

- Logical modelling of agents’ reasoning about decentralized, 
  distributed systems.  

The logical systems of interest as a basis for this work are likely 
to include dynamic, epistemic, deontic, and doxastic approaches, 
with case studies in security and policy modelling. I would expect 
the project to require both theoretical work in logic and more 
applied work in modelling, with a particular focus on systems 
security models and security policy models. 

The PPLV group provides an outsanding environment in which to 
study logic and UCL’s information security group, the Science, Technology, Engineering  
and Public Policy Department, and the Security and Crime Science Department 
provide an excellemnt environment for studying security. We have excellent 
connections to logicians and security researchers across UCL, London, and 
the wider world.  

The studentship will be part of UCL’s Centre for Doctoral 
Training (CDT) in Cybersecurity: https://urldefense.com/v3/__https://www.ucl.ac.uk/cybersecurity-cdt/__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qrZh0q1Uw$  
and https://urldefense.com/v3/__https://www.ucl.ac.uk/cybersecurity-cdt/study-us/project-proposals__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qo5tP00Gg$ , 
where advice on how to apply may be found.  

The CDT requires that all students engage in an advanced interdisciplinary 
programme in security during their first year. This programme provides 
an excellent context for students’ specific research projects. 

Although most of the CDT’s funding is for UK nationals, international candidates 
can also be considered. 

Thank you,

	David 




—
Prof. David J. Pym 
Professor of Information, Logic, and Security 
Head of Programming Principles, Logic, and Verification
University College London

Honorary Research Fellow, Institute of Philosophy, University of London 
Director, UCL Centre for Doctoral Training in Cybersecurity
Editor-in-Chief, OUP Journal of Cybersecurity

d.pym at ucl.ac.uk
https://urldefense.com/v3/__http://www.cs.ucl.ac.uk/people/D.Pym.html__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qoyE63A4A$ 
https://urldefense.com/v3/__http://www.cs.ucl.ac.uk/staff/D.Pym/__;!!IBzWLUs!CsC34fefoIhsQh-xn7O_uYA1zN6P0fbOMn9Twlob-KKq7nf0mICJ6Na7UAiEZJb2le1n7qqPCIKcaQ$ 

Assistant: Julia Savage, j.savage at ucl.ac.uk, +44 (0)20 7679 0327



More information about the Types-announce mailing list