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 open-source distributed systems software in Rust that forms the foundation for production blockchain networks securing billions of dollars in market capitalization. Senior Rust Engineer- working on open-source products and developing correct and reliable software that serves as critical infrastructure in the blockchain ecosystem. You can learn more and apply online here: https://informal.systems/careers/ Feel free to reach out to hello@informal.systems with any questions!