Formal

Software Engineer | Infra

Formal
Apply
4 days ago

Responsibilities

  • Lead the migration to Kubernetes and operate reliable clusters, networking, access controls, and data services.
  • Scale Kafka-to-Quickwit ingestion and search while improving throughput, indexing lag, API latency, and storage costs.
  • Build repeatable on-prem installations and upgrades, including configuration, data migrations, and rollback.
  • Establish alerts and reliability targets, lead incident response, and eliminate recurring failures.
  • Automate provisioning with Terraform and Helm and improve CI/CD, capacity planning, backups, and recovery.

Requirements

  • Experience building and operating production cloud infrastructure 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.
  • Experience with Go, Python, Rust, or another relevant programming language.
  • Experience with CI/CD, observability, and operating data pipelines or distributed APIs in production.
  • A track record of automating operational work and owning services through incidents and upgrades.
  • Preferred experience deploying and supporting on-prem software across customer networks and infrastructure.
  • Preferred experience with Quickwit or similar search systems, Kafka, PostgreSQL, Temporal, Helm, Bazel, self-hosted CI runners, or environments for AI coding agents.

Benefits

  • 100% medical, dental, and vision insurance coverage for U.S.-based full-time employees.
  • Partial coverage for dependents.
  • Flexible PTO.
  • Cash compensation and a stock options grant are offered, with offer positioning based on experience, qualifications, skills, business requirements, and geographic location.
Formal

About Formal

51-200 employees

Formal builds a data privilege access management platform that automates fine-grained access control and monitoring across the modern data stack for engineering-focused security teams. It sells its software as a cloud-based subscription. The company is headquartered in San Francisco and is backed by investors including Thrive Capital and Y Combinator.

Contact me