<div dir="ltr">Dear all,<br><br>We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for details on how to apply).<br><br>The successful candidate 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.<br><br>The start date is flexible, ideally early 2023.<br><br>The environment:<br>----------------<br><br>The School of Computer Science has large and thriving Theory and Security research groups. Among our research interests related to this project are for example:<br>   - Formal verification<br>   - Proof assistants<br>   - Model checking<br>   - Blockchain Technology<br>   - Security & Privacy<br><br>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 <a href="https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx">https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx</a> and <a href="https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx">https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx</a>.<br><br>How to apply:<br>-------------<br><br>Interested people are encouraged to contact me by email (<a href="mailto:V.Rahli@bham.ac.uk">V.Rahli@bham.ac.uk</a>) to discuss their research interests and details of the positions. Further information on how to apply is available here:<br><a href="https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare">https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare</a><br><br>Best,<br>Vincent Rahli<br clear="all"><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><a href="https://vrahli.github.io/" target="_blank"> https://vrahli.github.io/</a><br></div></div></div></div></div></div></div></div></div></div></div>