Informal Systems logo

Informal Systems

Informal Systems is a Toronto-based worker-owned technology company and incubator focused on fostering trust in software and money through formal verification, distributed systems, blockchain infrastructure, payments, and related technologies.
Toronto, Canada

Description

Informal Systems Inc. is a remote-first workers' cooperative that develops and incubates trustworthy software and financial infrastructure. Its current model supports initiatives including Quint, an executable-specification platform; Cycles, an open clearing protocol; Hydro, an interchain liquidity allocator; and Emerald, an EVM-compatible network framework. Informal also maintains research, engineering, security, and ecosystem-support activities while transitioning some legacy service businesses.

Historical Grant Funding

VC Funding

None
2023

$0

$11M

Technology & Skills

Uncover the hard and soft skills and tools employed by the organization, and gain insight into the technologies that drive their success
SECURITY AUDITING
DISTRIBUTED SYSTEMS
OPERATIONS
FORMAL VERIFICATION

Open Roles

Job details and availability are maintained by JobStash.

View all Informal Systems roles on JobStash