# Formal

> Protocol-aware data security proxy for databases and APIs

**Website:** https://joinformal.com
**LinkedIn:** https://www.linkedin.com/company/formalhq
**Headquarters:** San Francisco, CA
**Locations:** San Francisco, CA
**Size:** 1-50
**Founded:** 2022
**Industry:** cybersecurity
**Funding:** Seed
**Work type:** onsite
**Tech stack:** Go, Kubernetes, Terraform, Docker, Temporal, Postgres, AWS, Rust, S3
**Benefits:** Health insurance, Equity, Unlimited PTO

Formal builds a reverse proxy that parses wire protocols like Postgres, MySQL, and MongoDB to enforce least-privilege access, mask sensitive data, and audit queries in real-time. It serves security teams at companies handling sensitive data like Notion, Ramp, and Gusto, enabling granular control without application changes. This matters for securing AI agents and modern data stacks against breaches and compliance risks.

## Hiring in

- [Backend Engineering (3)](https://hotfix.jobs/companies/formal/jobs/backend-engineering)
- [Business Operations (1)](https://hotfix.jobs/companies/formal/jobs/business-operations)
- [Fullstack Engineering (1)](https://hotfix.jobs/companies/formal/jobs/software-engineering)
- [Partnerships (1)](https://hotfix.jobs/companies/formal/jobs/partnerships)
- [Product Design (1)](https://hotfix.jobs/companies/formal/jobs/product-design)
- [Product Marketing (1)](https://hotfix.jobs/companies/formal/jobs/product-marketing)
- [Account Executive (1)](https://hotfix.jobs/companies/formal/jobs/account-executive)
- [Sales Engineering (1)](https://hotfix.jobs/companies/formal/jobs/sales-engineering)

## Open roles (11)

- [Business Operations Specialist](https://hotfix.jobs/jobs/9aa31c39-baf5-4569-8004-e39da0cf285c) - San Francisco, CA
- [Staff Software Engineer, Backend](https://hotfix.jobs/jobs/926f7fc9-65f0-427d-9906-1332cfad904a) - San Francisco, CA
- [Product Marketing Manager](https://hotfix.jobs/jobs/2c0a5a3e-9e1a-4c98-885d-36d3347de028) - San Francisco, CA
- [Account Executive](https://hotfix.jobs/jobs/814690da-0405-4216-bf27-93fb9f8b4bc8) - San Francisco, CA
- [Software Engineer | Backend](https://hotfix.jobs/jobs/243e7c00-c701-4e3f-b9d2-fc6594459a61) - San Francisco, CA
- [Channel Account Specialist](https://hotfix.jobs/jobs/c4be1daa-108e-4929-9958-5f67d1ae2fc6) - San Francisco, CA
- [Field Marketing Specialist](https://hotfix.jobs/jobs/f857725f-8712-4f71-95e8-2184c81501ca) - San Francisco, CA
- [Software Engineer | Fullstack](https://hotfix.jobs/jobs/709e1c43-bbce-48d4-b08f-5f25cbdd6a98) - San Francisco, CA
- [Founding Designer](https://hotfix.jobs/jobs/131b246f-a5b8-4fbd-a027-25274870046a) - San Francisco, CA
- [Solutions Engineer](https://hotfix.jobs/jobs/9bf56abd-7960-4596-95fa-a4af3d7d7ff5) - San Francisco, CA
- [Senior Software Engineer | Backend](https://hotfix.jobs/jobs/02862b9e-1061-4760-8432-b60f084a1dc3) - San Francisco, CA

**Canonical:** https://hotfix.jobs/companies/formal