Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
Informal Systems is a research and engineering cooperative specialising in formal verification of distributed systems. It maintains core Cosmos software including the inter-blockchain communication implementation and verification tooling. The company works with protocol teams on correctness proofs and security reviews of consensus code.
News
It Told Me No: How Quint Helped Us Fix a Long-Standing Race Condition
The OpenHands team used Quint to debug a stubborn race condition. It told them their first fix wasn't good enough before they shipped it.
Read more
Report
The Next Bottleneck Is Judgment: Why We're Building Quint
AI can write the code. The bottleneck is now understanding what that code actually does.
Read more
Report
Catching a DeFi Exploit with Quint: Modeling the Balancer Upscale Bug
How a DeFi exploit hid from every standard correctness check
Read more
Report
What Specifying MonadBFT Taught Us About Quint
We used Quint to analyze the MonadBFT consensus protocol, formally specifying definitions and pseudo code, validating lemmas and theorems through simulation, and reproducing scenario diagrams as executable runs.
Read more
Report
Introducing Quint: A New Company for a New Era of Software
Quint is becoming its own company, spinning out of Informal Systems to make trust a first-class property of how systems are designed and built.
Read more
Report
Pro access
Upgrade to see all 40 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.
Growth
Hiring Momentum
48/100
Stable
Open positions
0
0 opened / 0 closed in 30 days
ATS activity
Every ~1 hours
09/06/2026
Hiring Dynamics
+100%
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Toronto
Canada
HQ