Core Developer of
Cosmos Logo

We are a core developer of the Cosmos Network software and protocols, with a focus on the Tendermint consensus engine and the IBC interoperability standard.

Proof of Stake Validator

Secure the network. Align your incentives.

We operate Cephalopod Equipment - a leading Proof-of-Stake validator, IBC relayer, and interchain service provider in the Cosmos ecosystem and beyond.

Learn More

Security Audits

Find bugs faster. Build confidence in your systems.

We specialize in security audits for cross chain protocols and core blockchain infrastructure. We apply formal verification methods and model-based testing techniques to deliver industry-leading results.

Learn More

Products

Our R&D powers and secures the Interchain.

Cosmos

Retain your sovereignty. Interoperate with others.

We are a leading contributor to the Cosmos interchain ecosystem, with a focus on Tendermint and IBC. We formally specify and verify protocols and contribute to their implementations in Go and Rust.

Verification

Verify your protocols. Higher test coverage with less code.

We make formal verification tools more accessible. Our symbolic model-checker, Apalache, radically improves the power and user experience of TLA+. And our Model-Based Testing tools enable you to generate complex test cases with minimal code.

Our mission is to bring verifiability to distributed systems and organizations.

Our vision is an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

We are a worker-owned organization, composed of a diverse group of people from around the world. Join us!

Start your career with Informal Systems
Start your career with Informal Systems

Explore career opportunities at our cooperatively owned and governed organization, with world-class expertise in distributed systems, formal verification, and open-source ecosystem.

Apply Now