General Application
Informal Systems is a remote-first company builder and incubator focused on fostering trust in software and money. It stewards and supports Quint, an executable-specification tool for verifying software behavior, and Cycles, infrastructure for multilateral financial clearing.
Projects
About Informal Systems
Informal Systems develops and stewards tools and initiatives for reliable digital infrastructure. It focuses on identifying structural problems in software and money, incubating solutions, and providing strategic oversight and governance. Its core initiatives are Quint, which helps teams specify, simulate, and verify complex systems, and Cycles, which is building clearing infrastructure intended to settle obligations more efficiently with less capital.
Skills
About the Role
You can submit your profile for consideration across future openings, including potential work in distributed systems engineering, formal verification research, security auditing, or operations.
Benefits
- 25 days of paid vacation annually plus 3 Spiritual Days
- Company closure from December 25 to January 1
- Annual lifestyle reimbursements for gym memberships and fitness equipment
- Remote-first flexible work environment
- Home-office stipend
- Annual company retreats
- Paid parental leave
