PhD position on the design and formal verification of distributed systems at the University of Birmingham

Deal all,

The School of Computer Science at the University of Birmingham, UK, is continuously looking for strong PhD candidates. One particular field of interest is the design and formal verification of distributed systems, such as blockchain systems. This is a large field of study, which encompasses several areas such as distributed systems, formal methods, and programming languages, among others. Topics of particular interest are, for example:

    • Design and formal verification of Byzantine fault-tolerant (BFT) systems (e.g., blockchain)
    • Design and (probabilistic) formal verification of distributed real-time systems
    • Design of BFT systems that rely on trusted execution environments for resilience and efficiency
    • Type theory applied to the design and verification of distributed systems
    • Logical foundations of distributed systems

Possible projects are: (1) to develop efficient fault-tolerant distributed systems that can execute correctly while sustaining persistent attacks, and/or provide real-time guarantees; and (2) to develop models and proof techniques to formally prove the correctness of such systems.

For informal inquiries, please contact Vincent Rahli ([email protected]).

See https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx for further information, and in particular for a link to apply (https://www.findaphd.com/common/clickCount.aspx?theid=133528&type=35&url=https%3a%2f%2fsits.bham.ac.uk%2flpages%2fEPS003.htm).