Informal Systems

Informal 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 provide 5-weeks of paid vacation, lifestyle benefits, and annual retreats with the whole team. We envision a sustainable future of cooperatively owned and governed, open-source, distributed organizations running on reliable distributed systems. We are excited to grow the team with amazing individuals who believe in making this future a reality.

The Cosmos technology stack is an industry leading toolkit written in Go. It includes Tendermint Core, the Cosmos-SDK, IBC, and the Cosmos Proof of Stake modules, among others, and it is used for building, deploying, and running community owned decentralized networks. This technology is used today to secure many billions of dollars in cryptocurrency market capitalization.

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