Formal
formal.com
Actively hiring
Cybersecurity AI
Network Security
As featured in
View 7 jobs
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials
How Formal hires
Truth index
D 51/100
Ghost roles
82%
Stale roles
0%
Reposted roles
0%
Formal scores D on the Alion truth index (A is best, E worst), measured over 11 open roles re-checked against its own hiring board: 82% look like ghost listings, 0% have gone stale and 0% are the same role posted again. It measures how much of what this employer publishes turns into a real, finite search - not the employer as a workplace. How the index is computed
Overview
Formal is a network security company building a platform that enforces controls on the actions and data of humans and AI agents. Its shared policy layer covers databases, infrastructure, APIs and AI tools, and customers include Cursor, Decagon and Notion. The company is headquartered in San Francisco, United States.
News
How to Nail the Semi-Formal Wedding Dress Code
Looking for a semi-formal wedding guest dress? We found 24 options from brands like Tove, Staud, and Fforme that are perfectly suited to the occasion.
Read more
Report
Formal methods can start small
Proof assistants are introduced through their hardest applications, so people assume opening one means a large project. A four-state Agda specification, compiled and used as the test oracle for Go code, shows how small the useful unit has become, and what
Read more
Report
How to avoid the hidden dangers of AI code
Gabriela Moreira, CEO of Quint, explains how catching flaws early can limit AI code nightmares
Read more
Report
Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
Abstract page for arXiv paper 2608.21516: Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning
Read more
Report
The Misery of Mechanistic Interpretability: A Formal Perspective
Abstract page for arXiv paper 2609.15533: The Misery of Mechanistic Interpretability: A Formal Perspective
Read more
Report
The part of Navier-Stokes no one is talking about
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
Read more
Report
Securing the agentic era: Introducing formal verification for CEL
Prove the correctness and security of your CEL policies with the new CEL Formal Verification Framework powered by the Z3 theorem prover.
Read more
Report
Show more news
Tech stack
Technologies named in job postings at Formal over the last 12 months, by layer, with the share of postings for each.
Technologies in use
22
Postings analysed
3
Stack modernity
76/100
Languages
Rust
Go
Python
SQL
Databases
ClickHouse
PostgreSQL
MySQL
Cloud & platforms
Datadog
AWS
Apache Kafka
Kubernetes
Sign in to see how your skills match this stack
Sign In
Full Formal tech stack
22 technologies · by team · pay by technology · changes · similar stacks
Growth
Hiring Momentum
62/100
Growing
Open positions
11
1 opened / 0 closed in 30 days
ATS activity
Every ~4 hours
Today
Hiring Dynamics
+100%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
DevOps
50% ▲
Administrative
50% ▼
Activity Timeline
Added Python to stack
Sep 2026
Added Linux to stack
Sep 2026
Added Helm to stack
Sep 2026
Added DNS to stack
Sep 2026
Added Cursor to stack
Sep 2026
Added CI/CD to stack
Sep 2026
Added Bazel to stack
Sep 2026
Added QuickBooks to stack
Sep 2026
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
1
Countries
1
Busiest office
San Francisco
San Francisco
United States
HQ
11 open roles 2 posted in 90 days 45% engineering
hires for Backend, Marketing, DevOps
Jobs
≈ $128k – $285k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Python
Rust
PostgreSQL
ClickHouse
Apache Kafka
AI/ML
Cursor
DevOps
Terraform
GCP
Helm
Datadog
CI/CD
AWS
Kubernetes
Bazel
Linux
DNS
Management
Notion
Apply
≈ $198k – $362k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
Rust
SQL
MySQL
PostgreSQL
ClickHouse
Apache Kafka
AI/ML
Cursor
Model Context Protocol
DevOps
gRPC
Terraform
Datadog
AWS
Kubernetes
Amazon S3
Management
Notion
Apply
≈ $151k – $317k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
Rust
SQL
MySQL
PostgreSQL
ClickHouse
Apache Kafka
AI/ML
Cursor
Model Context Protocol
DevOps
gRPC
Terraform
Datadog
AWS
Kubernetes
Amazon S3
Management
Notion
Apply
≈ $152k – $320k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
JavaScript
TypeScript
ClickHouse
Apache Kafka
AI/ML
Cursor
Frontend
Vue.js
Tailwind CSS
Next.js
React.js
Radix UI
shadcn/ui
DevOps
Terraform
Vercel
Datadog
Kubernetes
Design
Figma
Management
Notion
Apply
≈ $121k – $282k per year (Estimated) • Equity • In office • Full-Time • San Francisco
ClickHouse
DevOps
Datadog
Cybersecurity
Least Privilege
Design
Adobe Premiere Pro
Figma
Adobe After Effects
Management
Notion
Apply
≈ $135k – $295k per year (Estimated) • Equity • Hybrid • Full-Time • San Francisco
MySQL
PostgreSQL
Snowflake
ClickHouse
Apache Kafka
DevOps
GCP
Datadog
Azure
AWS
Amazon S3
Cybersecurity
Least Privilege
Management
Notion
Apply
≈ $164k – $299k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
Rust
SQL
MySQL
PostgreSQL
ClickHouse
Apache Kafka
AI/ML
Cursor
Model Context Protocol
DevOps
gRPC
Terraform
Datadog
AWS
Kubernetes
Amazon S3
Management
Notion
Apply