Postdoctoral Researcher and PhD positions at University of Birmingham
by vincent, May 30, 2022Fully-funded Postdoctoral Researcher and PhD positions at the University of Birmingham to work on the design and verification of distributed systems.
Dear all,
We would like to invite applications for both:
- an up to 3 years fully-funded postdoctoral position
- a fully-funded PhD position
within the School of Computer Science at the University of Birmingham.
The postdoctoral researcher and PhD students will contribute to an EPSRC-funded project aiming at designing and formally verifying distributed systems, in particular Byzantine fault-tolerant distributed systems as used for example in blockchain technology.
The start date is flexible, ideally around October 2022.
The environment:
----------------
The School of Computer Science has large and thriving Security and Theory research groups. Among our research interests related to this project are for example:
- Blockchain Technology
- Security & Privacy
- Formal verification
- Proof assistants
- Model checking
Both 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.
How to apply:
-------------
Interested people are encouraged to contact me by email ([email protected]) to discuss their research interests and details of the positions. Further information on how to apply to the PhD position is provided here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx
Best,
Vincent Rahli
