Are you interested in joining Informal Systems? Informal Systems is always seeking exceptional talent! Whether you are a distributed systems engineer, a formal verification researcher, a security auditor, or an operations professional, we want to hear from you. Our "General Application" is a doorway for those who are excited by our mission but don’t see a perfect match in our current specific openings. If you apply here, our talent team will evaluate your profile against our entire roadmap and reach out when a fit emerges. We encourage applicants of all skill levels and backgrounds—we value diverse perspectives and a deep-seated curiosity for the decentralized future. About Informal Systems Informal is a remote-first company with employees in the US, Canada, South America and Europe. We are structured like a worker’s cooperative, where important corporate actions are subject to one-person-one-vote democratic control by the member-employees. Our Mission: To foster trust in software and money. We are a long-term holding company and incubator focused on advancing trust in foundational systems. Our role is to identify structural problems in software and money, and build principled solutions. At this time, we are doing that through Quint and Cycles. We also support teams with integrations and audits to ensure systems remain trustworthy in production. Come build the future with us! Some of our benefits include: A unique, caring and friendly culture (learn more about how we work here) 25 days (5 weeks) of paid vacation annually, plus 3 Spiritual Days Company closure from December 25th to January 1 Annual Lifestyle benefits (reimbursements for gym memberships, fitness equipment, etc) A remote-first, flexible work environment A home-office stipend to set you up for success Annual company retreats Paid parental leave ….. and many more!