PhD student position in logic and verification, London (England)

A PhD studentship in the area of logic and verification is available at UCL's PPLV group,  The studentship is aligned with the IRIS project and will be supervised by Professor David Pym and Dr. James Brotherston. The studentship is available from September/October 2018. Candidates should be UK or EU nationals, and have or be about to complete a Master's level qualification in mathematics or computer science, with a strong component in logic or theoretical computer science.

The Interface Reasoning for Interacting Systems (IRIS) project, led by Prof. David Pym, uses logical and algebraic methods to understand the compositional structure of systems and their communications, seeking to develop analyses at all scales, from code through distributed systems to organizational structure, generically and uniformly. The area of the studentship is in logic and its application to program and systems verification, with a particular interest in the development and application of logical tools based on bunched logic, separation logic, and concurrent separation logic (and related ideas) and their use to reason about the correctness of interfaces between programs, systems, and organizations. The project may range from theoretical work in logic (semantics and proof theory) through the theory of system modelling tools to the design and implementation of modelling and verification tools.