Get Hired!

Informal Systems

informal.systems

We are a cooperatively owned and governed organization with the mission to build the tools that facilitate verifiable and trustworthy relationships between protocols and people. We are a core contributor to the cosmos network and work on bold problems at the intersection of formal verification and high-value distributed infrastructure that powers the cosmos network, the internet of blockchains.