Informal Systems is a remote-first company with offices in Toronto, Lausanne, Vienna and Berlin. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees.
We believe in the flourishing of better relationships between people and protocols.
Informal is a core contributor to Cosmos , where we develop interoperable blockchain systems by heavily relying on formal verification tools and techniques (formal specification in TLA+, symbolic model checker Apalache, Model Based Testing Framework, etc).
Our mission is to transform the quality standards of three key institutions:
🧑💻️ Software: How it is built and deployed
🪙 Money: How it is issued and distributed
🏛 Organizations: How they are owned and governed