PhD student position in verification, London (England)

Applications are invited for a PhD studentship at University College London, under the supervision of Prof. Alexandra Silva and Dr. Matteo Sammartino. The start date is flexible and can be negotiated. It should be in September 2018 at the latest.

The studentship is funded by the UK Research Institute in Verified Trustworthy Software Systems, and will be conducted within the Programming Principles, Logic and Verification (PPLV) group. The goal of the proposed PhD project is to develop techniques and tools to automate the modelling and verification of networking software systems.