Logo of Informal Systems

Remote Jobs at Informal Systems

Build trustworthy relationships

formal verification
distributed systems
software engineering
blockchain
security audits

About Informal Systems

Informal Systems is a cooperatively owned organization dedicated to creating tools that enable verifiable and trustworthy relationships between protocols and people. As a core contributor to the Cosmos Network, we tackle significant challenges at the intersection of formal verification and high-value distributed infrastructure. Join us in roles like Business Development Lead, Senior Rust Engineer, and more.

Established

2019

Company Size

11-50 employees