News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in verification, London (England)

Deadline: Friday 31 August 2018

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.

Please note that this newsitem has been archived, and may contain outdated information or links.