{"company":{"id":4208,"name":"Formal","domain":"formal.com","url":"https://alion.io/company/formal"},"answer":"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 2, 2026.","window_days":365,"postings_analysed":3,"open_postings":3,"technologies_in_use":24,"modernity_score":75,"ai_adoption":false,"technologies":[{"name":"ClickHouse","layer":"data","postings":3,"share":1,"required":3,"open_postings":3,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Datadog","layer":"cloud","postings":3,"share":1,"required":3,"open_postings":3,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Apache Kafka","layer":"cloud","postings":2,"share":0.6667,"required":2,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Cursor","layer":"tools","postings":2,"share":0.6667,"required":2,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Kubernetes","layer":"cloud","postings":2,"share":0.6667,"required":2,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Terraform","layer":"tools","postings":2,"share":0.6667,"required":2,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"AWS","layer":"cloud","postings":2,"share":0.6667,"required":1,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"GCP","layer":"cloud","postings":2,"share":0.6667,"required":1,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"PostgreSQL","layer":"data","postings":2,"share":0.6667,"required":1,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Rust","layer":"languages","postings":2,"share":0.6667,"required":1,"open_postings":2,"first_seen":"2025-03-15","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Amazon ECS","layer":"cloud","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Amazon S3","layer":"cloud","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"CI/CD","layer":"practices","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"DNS","layer":"practices","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Docker","layer":"tools","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Go","layer":"languages","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Helm","layer":"tools","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Linux","layer":"cloud","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Python","layer":"languages","postings":1,"share":0.3333,"required":1,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"Amazon Redshift","layer":"data","postings":1,"share":0.3333,"required":0,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Azure","layer":"cloud","postings":1,"share":0.3333,"required":0,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Bazel","layer":"tools","postings":1,"share":0.3333,"required":0,"open_postings":1,"first_seen":"2026-09-25","last_seen":"2026-09-25","median_stated_pay_usd":null},{"name":"MySQL","layer":"data","postings":1,"share":0.3333,"required":0,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null},{"name":"Snowflake","layer":"data","postings":1,"share":0.3333,"required":0,"open_postings":1,"first_seen":"2025-03-15","last_seen":"2026-06-04","median_stated_pay_usd":null}],"own_products":[],"changes":{"first_appeared":[],"rising":[],"falling":[],"not_seen_180d":[]},"similar_stacks":[{"name":"Dextr AI","url":"https://alion.io/company/dextr-ai/technologies","shared_technologies":26},{"name":"Ninjatrader","url":"https://alion.io/company/ninjatrader-2/technologies","shared_technologies":27},{"name":"AGIMA","url":"https://alion.io/company/agima/technologies","shared_technologies":26},{"name":"Polymarket","url":"https://alion.io/company/polymarket/technologies","shared_technologies":27},{"name":"TensorWave","url":"https://alion.io/company/tensorwave/technologies","shared_technologies":26},{"name":"Grafana Labs","url":"https://alion.io/company/grafana-labs/technologies","shared_technologies":29},{"name":"Kpler","url":"https://alion.io/company/kpler/technologies","shared_technologies":27},{"name":"Kredivo Group","url":"https://alion.io/company/kredivo-group/technologies","shared_technologies":26}],"html_url":"https://alion.io/company/formal/technologies","json_url":"https://alion.io/company/formal/technologies.json","license":"CC BY-SA 4.0","meta":{"source":"Alion","built_at":"2026-10-02T09:00:26Z","generated_at":"2026-10-02T14:32:39Z"}}