Research Fellow - Computer Science -100061 - Grade 7 Birmingham, England
University of Birmingham
Full Time
Birmingham, England
34000 - 42122 GBP ANNUAL Today
Job description
Position Details
College of Engineering and Physical Sciences, School of Computer Science
Location: University of Birmingham, Edgbaston, Birmingham UK
As this vacancy has limited funding the maximum salary that can be offered is £36,333
Grade 7
Full Time
Fixed term contract until 31st August, 2025
Closing Date: 30 April 2023
Role Summary
The postdoctoral researcher will contribute to an EPSRC funded project called "Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems". They will conduct research on topics related to the design and/or formal verification of distributed systems (one or both of these topics), such as Byzantine fault-tolerant distributed systems as used for example in blockchain technology. Topics of particular interest include, but are not limited to the following:
https://www.cs.bham.ac.uk/~rahliv/projects.html
- Design of Byzantine fault tolerant protocols, such as trusted component-based protocols and real-time protocols.
- Formal verification of Byzantine fault tolerant protocols (e.g.both quantitative and qualitative properties).
https://www.cs.bham.ac.uk/~rahliv/projects.html
Main Duties
- Contribute to the "Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems" EPSRC project
- Develop research objectives and proposals for own or joint research, with assistance of a mentor if required
- Contribute to developing new protocols, models, techniques and/or methods
- Produce research papers and present these papers at international conferences
- Disseminate research findings at events such as conferences, research seminars, public engagement activities etc
- Supervise students on research related work and provide guidance to
- PhD students where appropriate to the discipline
- Undertake management/administration arising from research
Person Specification
- A PhD, or close to completing in computer science
- High level analytical capability
- Ability to communicate complex information clearly
- Fluency in distributed systems and/or formal verification
- Ability to assess resource requirements and use resources effectively
- Understanding of and ability to contribute to broader management/administration processes
- Contribute to the planning and organising of the research programme and/or specific research project
- Co-ordinate own work with others to avoid conflict or duplication of effort
- Knowledge of the protected characteristics of the Equality Act 2010, and how to actively ensure in day to day activity in own area that those with protected characteristics are treated equally and fairly
Informal inquiries can be made to Dr Vincent Rahli ([email protected]).
Valuing excellence, sustaining investment
We value diversity and inclusion at the University of Birmingham and welcome applications from all sections of the community and are open to discussions around all forms of flexible working.
