2018-12-07 15:09:32 UTC
-------- Message transfÃ©rÃ© --------
Sujet : PhD Studentships at UCL: Interface Reasoning for Interacting Systems
Date : Tue, 4 Dec 2018 17:06:10 +0000
De : Pym, David <***@ucl.ac.uk><mailto:***@ucl.ac.uk>
Pour : Pym, David <***@ucl.ac.uk><mailto:***@ucl.ac.uk>
[Apologies for cross-postings: please circulate widely. Thank you.]
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 (***@ucl.ac.uk<mailto:***@ucl.ac.uk>), James (***@ucl.ac.uk<mailto:***@ucl.ac.uk>), or Will (***@lse.ac.uk<mailto:***@lse.ac.uk>).
To apply, follow the instructions at
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
Assistant: Julia Savage, ***@ucl.ac.uk<mailto:***@ucl.ac.uk>, +44 (0)20 7679 0327