About
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).
Open jobs
Browse and apply for open positions at Informal Systems.
Browse, connect and join a team
Related startups
Kava Labs
A decentralized blockchain that combines the speed & interoperability of Cosmos with the developer power of Ethereum
Phi Labs
Core contributor to Archway, a layer 1 blockchain that enables developers to capture the value they create
UX
The most programmable, safety-first lending blockchain for Web3
Interchain Foundation
Funds, stewards, and responsibly advances the Cosmos ecosystem