Plutus Developer

Plutus Developer - Cardano Smart Contract Systems

Location: Remote - Europe

Join a team of elite researchers, auditors, and core engineers focused on designing, implementing, and optimizing secure smart contract systems on the Cardano platform. We are seeking experienced Plutus Developers to translate complex on-chain protocol logic from precise specifications into secure, production-ready code on the mainnet, contributing to foundational work that moves the entire ecosystem forward.

You will be responsible for the full lifecycle of high-assurance smart contract development, including implementation, rigorous testing, and performance optimization. This role involves deep collaboration with internal research teams, external protocol teams, and product engineers to bring novel on-chain protocols to life.

Responsibilities:

• Implementation: Translate protocol specifications and formal models into secure Plutus implementations, writing high-assurance Aiken and/or Plutarch smart contract code.
• Testing & Assurance: Design and execute advanced testing methodologies, including property-based testing, differential testing, and invariant-based testing.
• Security Modeling: Engage in threat modeling and adversarial analysis alongside auditors and researchers.
• Optimization: Conduct performance tuning to optimize for script size, execution budget, and fee economics.
• Ecosystem Contribution: Contribute to internal libraries, reusable frameworks (e.g., Plutus Tx, Aiken interop), CIP discussions, and public standards that enhance the Cardano ecosystem.
• Collaboration: Work closely with product teams and partner engineering teams, and write clear technical documentation.

• Functional Programming: Strong Haskell experience with a deep understanding of pure functional programming (FP), typed FP, and category theory fundamentals.
• Domain Specific: Experience with Aiken / Plutarch or a demonstrated ability to learn these highly quickly.
• UTxO Knowledge: Familiarity with UTxO-based accounting models.
• Testing & Security: Experience reasoning about adversarial environments and familiarity with property-based testing (e.g., QuickCheck / Hedgehog).
• Work Style: Ability to work extremely asynchronously, self-directed, with a strong bias toward written communication first.
• Timezone: Ideally located within the European timezone.