[FOM] PhD Studentships at UCL: Interface Reasoning for Interacting Systems

Pym, David d.pym at ucl.ac.uk
Tue Dec 4 11:29:18 EST 2018

[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 (d.pym at ucl.ac.uk), James (j.brotherston at ucl.ac.uk), or Will (w.venters at 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

d.pym at ucl.ac.uk

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

More information about the FOM mailing list