Informal Systems

0 followers

‌

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

Industries

Headquarters

Stage

Employees

Links

Org chart

Hiring!

Ethan Buchman

Chief Executive Officer

Ethan Buchman

Collapse

Andrey Kupriyanov

Security Audits Technical Lead

Arianne Flemming

Chief Operating Officer

Greg Szabo

Infrastructure and Security Lead

Principal Engineer

Product Lead

CTO

General Counsel

Business Development Lead - Cycles Protocol

Vacant position

Hiring

Cosmos Hub Business Development Lead

Vacant position

Teams

+15

Engineering

18 members

Engineering and Technical Team

5 members

Leadership Team

4 members

Similar companies

Deep Genomics

4 followers

Valsoft

3 followers

PartnerStack

2 followers

Rootquotient

1 follower

ProcedureFlow

1 follower

Discover companies