|Funding for:||UK Students|
|Funding amount:||£16,602 p.a. stipend|
|Hours:||Full Time, Part Time|
|Placed On:||23rd May 2022|
|Closes:||15th July 2022|
We would like to invite applications for a fully-funded PhD position in the School of Computer Science at the University of Birmingham, UK. The PhD student will work on topics related to the design and/or formal verification of distributed systems, in particular fault-tolerant distributed systems as used in blockchain technology. Students broadly interested in these topics are strongly encouraged to apply. Topics of particular interest are: - Design of trusted component-based Byzantine fault tolerant protocols - Design of real-time Byzantine fault tolerant protocols - Formal Verification of Byzantine fault tolerant protocols The environment: The School of Computer Science's theory and security groups are very active, organising regular seminars, informal meetings, and actively participating in many events such as the Midlands Graduate School or the Cyber Security PhD Winter School. For more information see https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx and https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx.
Eligibility: First or Upper Second Class Honours undergraduate degree and/or postgraduate degree with Distinction (or an international equivalent). We also consider applicants from diverse backgrounds that has provided them with equally rich relevant experience and knowledge. Full-time and part-time study modes are available. Excellent problem solving skills and programming skills are required. In addition, the candidate must have a strong background in one of the following areas:
If your first language is not English and you have not studied in an English-speaking country, you will have to provide an English language qualification.
The position offered is for three and a half years full-time study. The value of the award includes a stipend of £16,602 pa and tuition fees of £4,596. Awards are usually incremented on 1 October each following year.
Type / Role: