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.
Benefits of using Remote First Jobs
Discover Hidden Jobs
Unique jobs you won't find on other job boards.
Advanced Filters
Filter by category, benefits, seniority, and more.
Priority Job Alerts
Get timely alerts for new job openings every day.
Manage Your Job Hunt
Save jobs you like and keep a simple list of your applications.
Search remote, work from home, 100% online jobs
We help you connect with top remote-first companies.
Search jobs
Hiring remote talent? Post a job