> Markdown version of [/jobs/ext/646747-remote-plutus-developer](https://www.wearedevelopers.com/jobs/ext/646747-remote-plutus-developer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Remote Plutus Developer

- **Company:** MLabs
- **Location:** Basildon, UK (Remote available)
- **Contract:** Permanent contract
- **Skills:** Application Frameworks, Performance Tuning, Functional Programming, Glasgow Haskell Compiler
- **Published:** June 25, 2026
- **Apply:** https://find.jobs/jobs-near-me/remote-plutus-developer-basildon-essex/2835118187-2/

## About the Role

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

## Description

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.


## Related Videos

- [A Guide To Functional Programming](https://www.wearedevelopers.com/videos/408-a-guide-to-functional-programming)
- [F#, path to functional enlightenment](https://www.wearedevelopers.com/videos/706-f-path-to-functional-enlightenment)
- [Practical performance tuning for Serverless Java on AWS](https://www.wearedevelopers.com/videos/2075-practical-performance-tuning-for-serverless-java-on-aws)
- [Mutation Testing and Fuzzing in C#](https://www.wearedevelopers.com/videos/703-mutation-testing-and-fuzzing-in-c)
- [Functional Programming in C++](https://www.wearedevelopers.com/videos/1409-functional-programming-in-c)
- [Modulith Instead of Monolith - Pragmatically Towards Microservices](https://www.wearedevelopers.com/videos/987-modulith-instead-of-monolith-pragmatically-towards-microservices)

## Related Articles

- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Dev Digest 138 - Are you secure about this?](https://www.wearedevelopers.com/magazine/486-dev-digest-138-are-you-secure-about-this)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)
- [The Best X (Twitter) Accounts for Developers](https://www.wearedevelopers.com/magazine/294-the-best-x-twitter-accounts-for-developers)
- [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again)