Informal Systems Employee Directory
Software DevelopmentOntario, Canada51-200 Employees
Informal Systems is a mid-sized software development company based in Toronto, Ontario, Canada. Its work aims to foster trust in software and money by building reliable distributed systems and payments infrastructure. The company offers Quint, a specification language for designing distributed systems, and Cycles, a clearing protocol for real-world payments. It operates within the software development and blockchain infrastructure space, serving developers and financial technology ecosystems that require dependable distributed systems and efficient payment clearing. In August 2025, media reported that Circle acquired Informal Systems' consensus engine Malachite to support Arc, a new open Layer-1 blockchain network for stablecoin finance.