Worried about surveillance? Concerned about mistakes in security proofs and bugs in software? Curious about what blockchain technology will look like after the crypto-currency bubble?
At the University of Edinburgh we design new techniques for IOHK‘s Cardano blockchain based on scientific principles using mathematical proofs, modern programming languages, and formal semantics. Join as a Postdoc or PhD to work on blockchain privacy, and zero-knowledge. Multiple positions are available.