My (absolutely excellent) supervisor, Prof. Cas Cremers, is advertising for multiple PhD and PostDoc positions in Security and Formal Analysis. Please see the link for more details, and get in touch with him directly if you’re interested, or feel free to PM me if you have any questions.

I can highly and unreservedly recommend working with him!