Formal
formal.com
Actively hiring
Data & Analytics
Cloud Security
Cybersecurity
As featured in
View 5 jobs
Follow
Overview
News
Technologies
Salaries
Products
People
Growth
Jobs
Financials
News
Weeks into explosive diarrhea outbreak, sluggish CDC plans response team
Reports of cases began in June, and the national tally is now nearing 23,000.
Read more
Report
Specula: Scaling formal specifications for autonomous model checking of system code
Abstract page for arXiv paper 2607.25333: Specula: Scaling formal specifications for autonomous model checking of system code
Read more
Report
Pro access
Upgrade to see all 30 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.
Technologies
Tech DNA
Go
Rust
TypeScript
Next.js
React.js
Vue.js
ClickHouse
Amazon Redshift
MySQL
AWS
Azure
GCP
AI/ML
ClickHouse
Amazon Redshift
MySQL
PostgreSQL
Snowflake
Frontend
TypeScript
JavaScript
Datadog
Kubernetes
Terraform
AWS
Azure
Docker
GCP
Amazon ECS
Amazon S3
Figma
Vercel
Adobe After Effects
Adobe Premiere Pro
Next.js
React.js
shadcn/ui
Vue.js
Tailwind CSS
Radix UI
Security
Go
Rust
Least Privilege
GDPR
HIPAA
Other
Notion
Apache Kafka
Google Workspace
Slack
Stack modernity
71/100
How modern this stack is, based on technology relevance, AI adoption and the share of legacy tools.
In-demand technologies
ClickHouse
5 jobs
Required
Datadog
5 jobs
Required
Notion
5 jobs
Required
Least Privilege
5 jobs
Required
Go
4 jobs
Required
Terraform
4 jobs
Required
Kubernetes
4 jobs
Required
Apache Kafka
4 jobs
Required
Salary medians are calculated from this company's open jobs and compared with the market.
Industry adoption
AWS
18%
JavaScript
17%
Kubernetes
16%
Azure
15%
TypeScript
14%
GCP
14%
Share of companies in the same industry that use each technology.
Stack changes
Amazon S3
Aug 2026
Amazon ECS
Aug 2026
Technologies recently added to or removed from this company's stack - a signal of tech migrations and new initiatives.
Jobgether
Clera
Weekday
Accenture
Capco
Salesforce
Growth
Hiring Momentum
48/100
Stable
Open positions
5
0 opened / 5 closed in 30 days
ATS activity
Every ~2 days
08/31/2026
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.
Backend
100% ▼
Jobs
≈ $194k – $363k per year (Estimated) • Equity • In office • Full-Time • 6+ years exp • San Francisco
Go
Rust
Amazon Redshift
Apache Kafka
ClickHouse
MySQL
PostgreSQL
Snowflake
DevOps
AWS
Azure
Datadog
Docker
GCP
Kubernetes
Terraform
Amazon ECS
Amazon S3
Cybersecurity
Least Privilege
Management
Notion
Apply
≈ $150k – $306k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
Rust
Amazon Redshift
Apache Kafka
ClickHouse
MySQL
PostgreSQL
Snowflake
DevOps
AWS
Azure
Datadog
Docker
GCP
Kubernetes
Terraform
Amazon ECS
Amazon S3
Cybersecurity
Least Privilege
Management
Notion
Apply
≈ $150k – $307k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
TypeScript
JavaScript
Apache Kafka
ClickHouse
Frontend
Next.js
React.js
shadcn/ui
Vue.js
Tailwind CSS
Radix UI
DevOps
Datadog
Kubernetes
Terraform
Vercel
Cybersecurity
Least Privilege
Design
Figma
Management
Notion
Apply
≈ $132k – $284k per year (Estimated) • Equity • In office • Full-Time • San Francisco
ClickHouse
DevOps
Datadog
Cybersecurity
Least Privilege
Design
Adobe After Effects
Adobe Premiere Pro
Figma
Management
Notion
Apply
≈ $163k – $294k per year (Estimated) • Equity • In office • Full-Time • San Francisco
Go
Rust
Amazon Redshift
Apache Kafka
ClickHouse
MySQL
PostgreSQL
Snowflake
DevOps
AWS
Azure
Datadog
Docker
GCP
Kubernetes
Terraform
Amazon ECS
Amazon S3
Cybersecurity
Least Privilege
Management
Notion
Apply