PhD Studentships: Interface Reasoning for Interacting Systems
We are seeking to appoint 4 talented and highly motivaterd PhD students
in UCL’s Programming Principles, Logic, and Verification group (PPLV, http://pplv.cs.ucl.ac.uk/welcome/)
associated with the EPSRC-funded project “Interface Reasoning for
Interacting Systems (IRIS)”, led by Prof. David Pym, with James
Brotherston, George Danezis, Byron Cook, and Peter O’Hearn. The project
also involves Will Venters (LSE, Management), Alastair Donaldson and
John Wickerson (Imperial College), and Edmund Robinson (QMUL). Joint
supervision with LSE may be possible for suitable candidates and
projects.
The IRIS project aims to deliver formal reasoning about the behaviour of
complex systems at all levels --- from computer code and security
protocols to distributed systems and business organisations --- by
reasoning about the interactions between their components. For more
information, see https://interfacereasoning.com
. Topics of interest include:
• Logic: basic theory, foundations of verification
• Verification: basic theory and tools
• Automated reasoning: theory and tools
• Logic: foundations and tools for systems modelling
• Systems security: logical theory and modelling tools
• Tools for modelling and reasoning about organizational architectures.
It is possible that two of these positions will be supported, for
qualified and interested students working on suitable projects, by
Amazon AWS.
We are looking for students with an excellent first degree in
mathematics, computer science, information systems, philosophy, or
another mathematical discipline, have a strong background and interest
in logic, verification, security, or organizational architecture and
management. Ideally, candidates will also have an excellent, relevant
Master’s degree and strong programming skills.
The positions are available from 23 September 2019 for 4 years.
Amazon-supported positions may be available at an earlier date. The
starting stipend will be approximately £17,000, with an approximate
annual uplift of 3%.
For an informal discussion, please contact David (d.pym@ucl.ac.uk), James (j.brotherston@ucl.ac.uk), or Will (w.venters@lse.ac.uk).
To apply, follow the instructions at
http://www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/
and indicate clearly on your application that you are applying for this Scholarship ("Interface
Reasoning for Interacting Systems") under the scholarships section, or in your personal statement.
--
Professor of Information, Logic, and Security
Head of Programming Principles, Logic, and Verification
University College London
Turing Fellow, The Alan Turing Institute, London
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
