<aside> 👋 Formal secures the modern data stack

The past decade has seen incredible innovation in the data stack, but these new technologies also introduced a host of new vulnerabilities. Formal is building a unified, developer-friendly data and infrastructure security access platform.

We help stakeholders from engineering, data, and security teams understand their organization's data schema in real-time, see where sensitive data is stored, how it's consumed across teams and services, and design access and encryption policies to secure. Longer term, we will become the operating system that allows data and security teams to understand and manage their infrastructure.

We are trusted by leading companies (Ramp, Gusto, Trialspark, Modern Health) to solve a range of problems from data security and compliance, to data quality management and infrastructure access.

We are backed by top-tiers VCs including Thrive Capital and Y Combinator. Our angel investors are startup executives and founders from Datadog, Clickhouse, Plaid, and Vanta.


Reach out to us at [email protected]

Can't find your desired position listed? Reach out to us at [email protected] for smart individuals like you!


Open Roles

Backend Software Engineer

Frontend Software Engineer

About Us

Mission - Vision


How do we work

Hiring process


Compensation & perks