Informal Systems Information
Get Verified Emails For Informal Systems
Contact top employees from
Informal Systems
Summary
Our mission is to foster trust in software and money, two systems the world increasingly depends on.
We do this through Quint (https://quint-lang.org/), a specification language for designing re...Show more
Organization Website | informal.systems |
Social Links |   |
Industries | |
Headquarters Location | 180 John St, Toronto, Ontario, M5T 1X5 CA |
Employees Size | 10-50 employees |
Specialties | formal verification, distributed systems, software engineering, blockchain, security audits |
Founded | 2019 |
Employees Turnover 4 quarter 2025
Number of employees switched from or switched to
Total number all of employee turnover
See companies people switched from or switched to
Number of employees by department
Total number all of employee turnover
Discover More
Length of Employment
Employee tenure at Informal Systems shows a diverse range of experience levels:
4% have been with the company for less than 1 year48% for 1–2 years26% for 3–4 years22% for 5–7 yearsDiscover More
Ex-employees positions
In Company
In New Company
Sign Up
Contact top employees from
Informal Systems
Mo Whitman
Project Delivery Manager, Audit Security
Greg Szabo
Senior Software Engineer
Adrian Bienkowski
Senior Infrastructure Engineer
Aaron Wright
Senior UX/UI Engineer
Oshan Starreveld
Marketing Operations Manager
Shivani Joshi
Junior Distributed Systems Engineer
Andy Nogueira
Software Developer
Shonali Kagal
Director of Talent & People
Arianne Flemming
Chief Operating Officer
Daniel Gushchyan
Rust Engineer
Aleksandar Ignjatijevic
Security Engineer
Gabriela Moreira
Research Engineer
Marie Leaf
Product Developer
Tetiana Tanina
HR Business Partner
Matthew Zimmerman
Infrastructure Engineer
Brett Maverick Musser
BD Lead (Cycles)
Shawn Rypstra
Infrastructure Engineer
Tatjana Kirda
Junior Security Engineer
Erick Pintor
Senior Software Engineer
Similar Companies
FAQ
Informal Systems operates in the Software Development industries. More details can be found on the official website: informal.systems.
The headquarters of Informal Systems are located in Toronto, Canada.
Informal Systems currently employs 10-50 people.
Data Privacy
GDPR COMPLIANT
SignalHire complies with the General Data Protection Regulation (GDPR). SignalHire follows GDPR requirements, including but not limited to rights of data subjects to access, correct, or delete their personal information and supports the right to be forgotten.
CCPA COMPLIANT
SignalHire is CCPA-compliant and provides California residents the right to know, access, opt out, and request deletion of their personal data.
