Remote Plutus Developer

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., * 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.

• Compensation: Market-appropriate hourly rate based on skills and experience.
• Commitment: Full-Time Commitment (40 hours per week).
• Time Off: Generous Paid Time Off (30 days of holiday per year for UK employees, where applicable) and Sickness Pay.
• Flexibility: Contract flexibility, open to discussing terms for both a standard employee and an independent contractor.
• Impact: Opportunity to build foundational libraries and critical infrastructure that advances the entire Cardano ecosystem.