PhD student positions on interface reasoning, London (UK)

We are seeking to appoint 4 talented and highly motivaterd PhD students in UCL's Programming Principles, Logic, and Verification group (PPLV) associated with the EPSRC-funded project 'Interface Reasoning for Interacting Systems' (IRIS), led by Prof. David Pym. 

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.

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.