Formal methods position at IOG

Stream: job postings

[Andre Knispel]

We are currently looking for a formal methods engineer to join the Cardano Ledger team to work with us on a full Agda model of the Cardano ledger and designing future changes to it. The latter is in many ways more difficult than the former, so we value good intuition the ability to spot discrepancies in complex systems and theories over experience with a particular proof assistant.

If this sounds exciting, please do not hesitate to apply at: https://apply.workable.com/io-global/j/B4B57E4B31/