Pricing

Log inSign up

Informal Systems

0 followers

‌

Informal Systems offer research and development at the intersection of formal verification and distributed systems.

Industries

Blockchain, Information Technology

Headquarters

Toronto, Canada

Employees

11-50

Links

Org chart

EB

Hiring!

Ethan Buchman
Chief Executive Officer

Ethan Buchman

Collapse
Andrey Kupriyanov
Security Audits Technical Lead
AF
Arianne Flemming
Chief Operating Officer
GS
Greg Szabo
Infrastructure and Security Lead
Romain Ruetschi
Principal Engineer
Tesnim Abdellatif
Product Lead
Zarko Milosevic
Head Of Engineering And Security Services
PE
Pat Ellisen
General Counsel
Hiring
Business Development Lead - Cycles Protocol
Vacant position
Hiring
Cosmos Hub Business Development Lead
Vacant position

Teams

+15

Engineering

18 members

+2

Engineering and Technical Team

5 members

AF
+1

Leadership Team

4 members

Similar companies

Kinaxis

12 followers

aescape

6 followers

Crawford Technologies

6 followers

StorONE

6 followers

Nuvoola

6 followers

Distech Controls

1 follower

Rootquotient

3 followers

Onehouse

3 followers

Thrive

2 followers

Anrok

3 followers

Vicarius

1 follower

Explore companies