Two PhD student positions in theoretical computer science, London (England)

Two PhD positions are available at the Department of Computing, Imperial College London, under the supervision of Dr Francesco Belardinelli. The positions are in the projects 'Verification of Data-aware Systems' and 'Model Checking Agents that Learn'.

Both PhD positions are fixed-term contracts for 4 years. These positions are available to EU and UK students. Candidates are required to have a very strong background in theoretical computer science, logics and formal methods, and must be capable of programming in the most popular programming languages, including C, C++, Java. Expected start date: 1 April 2019.