- Total raised
- $22.7M
- Last round
- Series A · Nov 2024
- Team size
- 11-50 employees
- Founded
- 2019
- HQ
- Toronto
About Informal Systems
Informal Systems offer research and development at the intersection of formal verification and distributed systems.
Open roles · 1
Location
More startups in Toronto
Cyclic Materials
Toronto
Creating a Circular Supply Chain for Rare Earth Elements
Passage
Toronto
Our mission is to provide access to life-changing educational and career opportunities.
Fire & Flower
Toronto
At FIKA Company, we set new standards in cannabis retail through our unwavering commitment to delivering an unparalleled high-quality retail experience.
Decoda Health
Toronto
Decoda Health aims to redefine healthcare technology by leveraging generative AI models, positioning itself at the forefront of AI-driven healthcare innovation.
Terminal
Toronto
Terminal offers a universal API for telematics data in commercial trucking, backed by Y Combinator and Golden Ventures. It was founded by Raghav Midha and Connor Giles, who bring experience from a Series B neobank and family logistics opera
Motion
Toronto
Motion is the creative strategy command center and the world’s first platform for managing human + AI employees. Trusted by 1M teams and 50k strategists, it analyzes $11B+ in media spend for clients like HexClad and Ridge and publishes Thum