International Association for Cryptologic Research

International Association
for Cryptologic Research

All job postings
Cryptographic Engineer - Bitcoin Defi
Input-Output - Cardano

IOG, is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.

Bitcoin DeFi is about unlocking real utility for the world’s most trusted digital asset without ever compromising user control. For developers and innovators, this means finding a way to use Bitcoin in decentralized finance without forcing holders to hand their BTC to a third party. Until now, most attempts at Bitcoin DeFi have relied on “wrapped” tokens that essentially represent a promise – you send your BTC away and trust someone else to issue a proxy token on another chain. In all these custodial models, users effectively give up custody of their bitcoin to an intermediary in exchange for a tokenized representation. This status quo runs counter to Bitcoin’s core ethos of self-sovereignty and security.

What the role involves:

As an experienced Cryptographic Engineer, you will contribute to the design, implementation, and integration of secure cryptographic protocols and primitives across diverse projects. This role sits at the intersection of applied research and engineering, turning advanced cryptographic designs into robust, production-ready systems. You will work closely with researchers, protocol designers, software architects, and QA teams to ensure cryptographic correctness, performance, and maintainability, with a strong emphasis on high-assurance coding and practical deployment.

  • Design and implement cryptographic constructions, such as digital signatures, zero-knowledge proofs, verifiable random functions (VRFs), commitment schemes, and accumulators.
  • Develop and maintain cryptographic libraries, primarily using Rust and Haskell with attention to safety, clarity, performance, and auditability.
  • Translate academic research & formal specifications into reliable code.
  • Contact:

    Marios Nicolaides


    Last updated: 2025-10-30 posted on 2025-10-27