# Software Engineer | Infra at Formal

- Company: Formal
- What the company does: Formal is the AI governance platform. Backed by Y Combinator and a16z.
- Company website: https://joinformal.com
- Type: Startups
- Level: Mid level
- Location: San Francisco
- Work setup: On-site
- Posted: 2026-09-25
- Apply by: 2026-11-09
- Apply: https://jobs.ashbyhq.com/formal/ad66f5f8-080b-4c07-9408-fcaa0f79d7db
- Page: https://www.1752.vc/careers/jobs/formal-software-engineer-infra/

## About the role

Formal secures billions of requests daily. Join a small team tackling the infrastructure behind that scale: Kafka-to-Quickwit log ingestion, fast search and APIs, and reliable cloud and on-prem deployments. You'll help lead our move to Kubernetes and make the platform easier to deploy, operate, and upgrade in our cloud and customer environments. Lead our migration to Kubernetes and operate reliable clusters, networking, access controls, and data services.

Tags: Engineering