### **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. **Requirements** * **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**. **Benefits** * **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. **Due to the high volume of applications we anticipate, we regret that we are unable to provide individual feedback to all candidates. If you do not hear back from us within 4 weeks of your application, please assume that you have not been successful on this occasion. We genuinely appreciate your interest and wish you the best in your job search.** **Commitment to Equality and Accessibility:** At MLabs, we are committed to offer equal opportunities to all candidates. We ensure no discrimination, accessible job adverts, and providing information in accessible formats. Our goal is to foster a diverse, inclusive workplace with equal opportunities for all. If you need any reasonable adjustments during any part of the hiring process or you would like to see the job\-advert in an accessible format please let us know at the earliest opportunity by emailing human\-resources@mlabs.city. MLabs Ltd collects and processes the personal information you provide such as your contact details, work history, resume, and other relevant data for recruitment purposes only. This information is managed securely in accordance with MLabs Ltd’s Privacy Policy and Information Security Policy, and in compliance with applicable data protection laws. Your data may be shared only with clients and trusted partners where necessary for recruitment purposes. You may request the deletion of your data or withdraw your consent at any time by contacting legal@mlabs.city.