We are redirecting you to the source. If you are not redirected in 3 seconds, please click here.

Plutus Developer at MLabs. 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. .. . Company Location: Spain.