SlipstreamJobs tracks this role from the company's public career site. Apply directly on the employer's site.
Formal is building a network security platform for the AI era, enforcing controls directly in the network path with a shared policy layer for humans and agents across databases, infrastructure, APIs, and AI tools. The company is trusted by leading organizations including Cursor, Decagon, and Notion, and is backed by top-tier VCs including Thrive Capital and Y Combinator.
You will join a small infrastructure team responsible for securing billions of requests daily. The role focuses on the infrastructure backbone: Kafka-to-Quickwit log ingestion, fast search and APIs, and reliable cloud and on-prem deployments. You'll lead the migration to Kubernetes and make the platform easier to deploy, operate, and upgrade across cloud and customer environments.
Key responsibilities include:
- Leading the migration to Kubernetes and operating reliable clusters, networking, access controls, and data services
- Scaling Kafka-to-Quickwit ingestion and search; improving throughput, indexing lag, API latency, and storage costs
- Building repeatable on-prem installations and upgrades, including configuration, data migrations, and rollback procedures
- Establishing useful alerts and reliability targets; leading incident response and eliminating recurring failures
- Automating provisioning with Terraform and Helm; improving CI/CD, capacity planning, backups, and recovery
Requirements:
- Production cloud infrastructure experience on AWS or Google Cloud using Terraform
- Experience operating production Kubernetes clusters, including deployments, ingress, autoscaling, and upgrades
- Strong Linux and networking fundamentals, including DNS, TLS, and load balancing
- Proficiency in Go, Python, Rust, or another relevant programming language
- Experience with CI/CD, observability, and operating data pipelines or distributed APIs in production
- Track record of automating operational work and owning services through incidents and upgrades
Nice-to-haves:
- Experience deploying and supporting on-prem software across customer networks and infrastructure
- Experience with Quickwit or similar search systems, Kafka, PostgreSQL, or Temporal
- Experience with Helm, Bazel, self-hosted CI runners, or environments for AI coding agents
