Logic List Mailing Archive

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@ucl.ac.uk
www.cs.ucl.ac.uk/people/D.Pym.html
www.cs.ucl.ac.uk/staff/D.Pym/

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

--
[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