PhD position on the design and formal verification of distributed systems at the University of Birmingham
The School of Computer Science at the University of Birmingham, UK, has a PhD position available on the topic of the design and formal verification of distributed systems.
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).