Informal Systems

Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and IBC, and their implementation in Rust and Go. We're structured like a workers cooperative, and serve as one of the core research and development teams in the Cosmos Network. The work we do plays a critical role in the emerging Internet of Blockchains. We're also building tools to make formal verification a more accessible part of software development. Our mission is to build verifiable distributed systems and organizations to support localism. We're hiring for engineering and product roles across the Cosmos ecosystem, to help build the Internet of Blockchains. If you're interested, please apply, regardless of the roles listed.