[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK

[vincent rahli]

Dear all,

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).

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.

The environment:
----------------

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:
   - 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
information see
https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3Xr3nfQpA$ 
and
https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3XSKLSctQ$ 
.

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:
https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3U_X8mBgg$ 

Best,
Vincent Rahli

-- 
https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3Xx2mKSMg$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230403/9e95f444/attachment-0001.htm>