MLabs

MLabs is a software consultancy that builds and formally verifies software, mainly in Haskell and Rust. Its offer is organised as four services: advising on what to build, building it with AI-accelerated development, proving correctness through testing and formal verification, and running identity, secrets and certificate infrastructure as a managed service.

The website describes clients as startups and established enterprises, and names a global payments processor and a decentralised AI network among past work. Work is sold as staff augmentation, codebase stewardship, fixed-price health checks and audits of Cardano smart contracts written in Aiken, Plutarch and Plinth, and managed Keycloak, Vault and certificate lifecycle services. MLabs also maintains the open-source tools Plutarch, Lambda Buffers and CTL.

According to the team page, MLabs was founded in 2018 by CEO Mark Florisson as a fintech, AI and IT consultancy, and its team spans 32 countries. The company publishes no office addresses on the pages reviewed. Its open job listings are mainly engineering roles, including founding engineer, staff engineer, SRE and quant developer positions, with locations listed in London, New York, San Francisco, Singapore, Paris, Toronto, Bengaluru, Luxembourg and remote.

Product: Software consulting and engineering: staff augmentation, Haskell and Rust development, formal verification and testing, Cardano smart contract audits, and managed Keycloak, Vault and certificate lifecycle services.