[TYPES/announce] Postdoc and PhD positions at the University of Birmingham
vincent.rahli at gmail.com
Fri Jul 29 11:33:56 EDT 2022
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 (see
below for details on how to apply).
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 School of Computer Science has large and thriving Theory and Security
research groups. Among our research interests related to this project are
- Formal verification
- Proof assistants
- Model checking
- Blockchain Technology
- Security & Privacy
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
How to apply:
Interested people are encouraged to contact me by email (V.Rahli at bham.ac.uk)
to discuss their research interests and details of the positions. Further
information on how to apply is available here:
- postdoctoral position:
- PhD position:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce