Dashboard
Curated content
Companies
Funding rounds
Exits
Investors
Accelerators
Matching tool
Investment heatmap
News
Companies
Informal Systems
Team
Team
Save
Informal Systems
Specializing in security audits and formal verification for cross-chain protocols and blockchain infrastructure.
Learn more
Launch date
2019
Employees
51-200 people
Toronto Ontario (HQ)
http://informal.systems
https://twitter.com/informalinc
https://www.linkedin.com/company/informal-systems
View job openings
B2B
saas
subscription
security
Overview
Similar companies
Investments (5)
Analytics
Notes
Job openings
Innovations (0)
Authorizing premium user...