Informal Systems

Informal is an R&D institution that conducts fundamental research and development into the design, implementation, and formal verification of distributed systems and protocols, including blockchain systems like the Cosmos Network. Our mission is to bring verifiability to distributed systems and organizations. We’re hiring: Senior Distributed Systems Engineer - Working on researching, designing, and implementing improvements to the software and protocols. Significant experience in Rust is desired.