MLabs is hiring a Plutus Developer to translate complex on-chain protocol logic from precise specifications into secure, production-ready Plutus smart contract code on the Cardano mainnet. You will be responsible for the full lifecycle of high-assurance smart contract development, from implementation and rigorous testing to performance optimization.
What You'll Do
- Translate protocol specifications and formal models into secure Plutus implementations, writing high-assurance Aiken and/or Plutarch smart contract code.
- Design and execute advanced testing methodologies, including property-based testing, differential testing, and invariant-based testing.
- Engage in threat modeling and adversarial analysis alongside auditors and researchers.
- Conduct performance tuning to optimize for script size, execution budget, and fee economics.
- Contribute to internal libraries, reusable frameworks, CIP discussions, and public standards that enhance the Cardano ecosystem.
- Work closely with product teams and partner engineering teams, and write clear technical documentation.
What We're Looking For
- Strong Haskell experience with a deep understanding of pure functional programming, typed FP, and category theory fundamentals.
- Experience with Aiken / Plutarch or a demonstrated ability to learn these highly quickly.
- Familiarity with UTxO-based accounting models.
- Experience reasoning about adversarial environments and familiarity with property-based testing (e.g., QuickCheck / Hedgehog).
- Ability to work extremely asynchronously, self-directed, with a strong bias toward written communication first.
- Ideally located within the European timezone.
Technical Stack
- Haskell, Plutus, Aiken, Plutarch, Cardano
Team & Environment
You will join a team of elite researchers, auditors, and core engineers.
Benefits & Compensation
- Generous Paid Time Off (30 days of holiday per year for UK employees, where applicable) and Sickness Pay.
- Contract flexibility, open to discussing terms for both a standard employee and an independent contractor.
- Opportunity to build foundational libraries and critical infrastructure that advances the entire Cardano ecosystem.
Work Mode
This is a global remote position, with a preference for candidates based in Europe.
MLabs is committed to offering equal opportunities to all candidates. We ensure no discrimination, accessible job adverts, and provide information in accessible formats.
