echoloc
Get started
echoloc/ Companies/ Formal

Formal Tech Stack

Data privilege access management for engineering security teams

Data Security Software Products San Francisco, California 11–50 employees Privately Held
joinformal.com LinkedIn

Formal automates least-privilege access controls at the packet level for data infrastructure. The stack (PostgreSQL, Kafka, Snowflake, ClickHouse, Redshift, plus Go/Rust) points to a company built for real-time data access governance at scale. Hiring is sales and marketing focused (5 of 6 open roles) while addressing a core pain point: enforcing least privilege across fragmented data systems.

Tech Stack 21 technologies

Core StackPostgreSQL AWS Kafka MySQL Snowflake Datadog ClickHouse Go Rust Temporal Redshift Docker Kubernetes Terraform GCP Azure Plaid Vanta SSH AWS ECS Google Cloud Pub/Sub

What Formal Is Building

◆Challenges

  • Data security and compliance
  • Infrastructure access
  • Real-time data understanding
  • Least privilege enforcement
  • Masking filtering anonymization policies
  • Lack of data visibility
  • Difficulty enforcing least privilege

▲Active Projects

  • Develop gtm strategy
  • Close key customer accounts
  • Product launches
  • Marketing campaigns
  • Product positioning
  • High performance data platform
  • New product features
  • Scalable services
  • Integrated field marketing plans
  • Abm campaigns

Hiring Activity

Minimal6 roles · 0 in 30d

Department

Sales
3
Marketing
2
Engineering
1

Seniority

Mid
3
Senior
3
Company intelligence

Find more companies like Formal by tech stack, pain points and active projects

Get started free

About Formal

Formal is a data privilege access management platform that automates fine-grained access controls at the packet level. The product targets engineering-focused security teams at growth-stage companies who need to enforce least-privilege policies across multiple data stores (data warehouses, databases, message streams). The company is 11–50 people, based in San Francisco, backed by Thrive Capital and Y Combinator. Active projects center on go-to-market execution, customer acquisition, and product positioning.

HeadquartersSan Francisco, California
Company Size11–50 employees
Hiring MarketsUnited States

Frequently Asked Questions

What tech stack does Formal use?

Formal's stack includes PostgreSQL, MySQL, AWS, GCP, Kafka, Snowflake, ClickHouse, Datadog, Docker, Kubernetes, and Terraform. Development is in Go and Rust.

What does Formal work on?

Current projects include developing GTM strategy, closing key customer accounts, product launches, marketing campaigns, building a high-performance data platform, and scaling services.

Similar Companies in Data Security Software Products

Other companies in the same industry, closest in size

T
Teleskope
Data Security Software Products
C
Cyber Insight
Data Security Software Products