Formal is the AI governance platform. Backed by Y Combinator and a16z.
About the role
Formal secures billions of requests daily. Join a small team tackling the infrastructure behind that scale: Kafka-to-Quickwit log ingestion, fast search and APIs, and reliable cloud and on-prem deployments. You'll help lead our move to Kubernetes and make the platform easier to deploy, operate, and upgrade in our cloud and customer environments. Lead our migration to Kubernetes and operate reliable clusters, networking, access controls, and data services.
More about this role
Formal is building a network security platform for the AI era. As agents gain access to sensitive data and production systems, organizations need control over the actions they take and the data they receive. We enforce those controls directly in the network path, with a shared policy layer for humans and agents across databases, infrastructure, APIs, and AI tools.
We are trusted by leading companies such as Cursor , Decagon , Notion , and more to solve problems across data security and compliance, data quality management, and infrastructure access.
Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta.
Formal secures billions of requests daily. Join a small team tackling the infrastructure behind that scale: Kafka-to-Quickwit log ingestion, fast search and APIs, and reliable cloud and on-prem deployments. You'll help lead our move to Kubernetes and make the platform easier to deploy, operate, and upgrade in our cloud and customer environments.
Lead our migration to Kubernetes and operate reliable clusters, networking, access controls, and data services.
Scale...
Browse similar: Startup jobs · San Francisco Bay Area