PhD position "Finding Bugs in Randomised Software with Incorrectness Logic", Londen (UK)

This project at University College London aims to study a version of incorrectness logic with novel logical foundations and analysis techniques that can formally prove the presence of bugs in randomised software. The PhD will provide training in programming principles, logic, and formal verification. Candidates should have a Bachelor's degree in computer science or mathematics. Ideal candidates should have a Master's degree with a solid technical background and interest in programming languages and logical methods in computer science.