Formal tech stack
Formal builds mostly with Rust, Go, Python. Its stack also includes Datadog, ClickHouse, Apache Kafka, PostgreSQL. ClickHouse is named in 3 of the 3 job postings Formal published in the last 12 months (100%). Counted by Alion from the job postings of Formal, updated Oct 1, 2026.
What programming languages does Formal use?
Rust is named in 67% of job postings at Formal, followed by Go (33%), Python (33%).
What databases does Formal use?
ClickHouse is named in 100% of job postings at Formal, followed by PostgreSQL (67%), Amazon Redshift (33%), MySQL (33%).
What cloud and platforms does Formal use?
Datadog is named in 100% of job postings at Formal, followed by Apache Kafka (67%), Kubernetes (67%), AWS (67%).
Datadog
3 100%
Apache Kafka
2 67%
Kubernetes
2 67%
AWS
2 67%
GCP
2 67%
Show all (9)
What developer tools does Formal use?
Cursor is named in 67% of job postings at Formal, followed by Terraform (67%), Docker (33%), Helm (33%).
Which engineering practices does Formal ask for?
CI/CD is named in 33% of job postings at Formal, followed by DNS (33%).
CI/CD
1 33%
How does your stack fit Formal?
How modern is the Formal stack?
Formal scores 75 out of 100 (Cutting-edge). The score averages how current each technology in the stack is and adds weight for AI adoption. AI technologies in the stack: 0; legacy ones: 0.
How common is the Formal stack in its industry?
Share of the 1,101 companies in the same industries, whose stack Alion knows, that use each technology.
Companies with a stack like Formal
Questions about the Formal tech stack
What programming languages does Formal use?
The languages named in Formal job postings are Rust (67%), Go (33%), Python (33%), as a share of the 3 postings of the last 12 months.
Does Formal use Datadog?
Yes. Datadog is named in 3 of 3 job postings (100%) and required in 3 of them.
What cloud and platforms does Formal use?
The cloud and platforms named in Formal job postings are Datadog (3), Apache Kafka (2), Kubernetes (2) (postings in brackets).
Is the Formal tech stack changing?
No new technology has appeared in Formal job postings in the last six months.
How modern is the Formal tech stack?
Formal scores 75 out of 100 (Cutting-edge). The score averages how current each technology in the stack is and adds weight for AI adoption. AI technologies in the stack: 0; legacy ones: 0.
How does Alion know the Formal tech stack?
Alion reads every job posting Formal publishes and tags the technologies each one names. The figures on this page count the 3 postings of the last 12 months and were updated on Oct 1, 2026.
Method and citation
Alion reads every job posting the company publishes and tags the technologies each one names. Shares count the postings of the last 12 months, open and closed; the company's own products are counted apart. How we count
Alion, "Formal tech stack: 24 technologies from 3 job postings", as of Oct 1, 2026. https://alion.io/company/formal/technologies