PhD student position in logical modelling, London (England)

I am looking for a PhD student in logic, in the PPLV group (http://pplv.cs.ucl.ac.uk/welcome/) at UCL (http://www.ucl.ac.uk) 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://www.ucl.ac.uk/cybersecurity-cdt/ and https://www.ucl.ac.uk/cybersecurity-cdt/study-us/project-proposals, 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://www.cs.ucl.ac.uk/people/D.Pym.html https://www.cs.ucl.ac.uk/staff/D.Pym/

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