← All roles

Infrastructure Engineer

Formal· Engineering
Apply on company site
San FranciscoFull-timePosted 3w ago

About the role

Formal is building a network security platform for the AI era. This role focuses on the infrastructure behind the scale of billions of requests, including log ingestion, fast search, APIs, and reliable cloud and on-prem deployments. You will own and improve the platform’s deployability, operability, and upgrade processes across cloud and customer environments.

Responsibilities

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

Qualifications

  • 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.

Skills

Required:Cloud infrastructureKubernetesLinux networkingProgrammingCI/CD & observabilityIncident response

Benefits

  • 100% medical, dental & vision insurance coverage for you
  • Partially covered for your dependents
  • Flexible PTO
Last updated Oct 14, 2026. Interested? Apply on the company site.
Formal logo

About Formal

The data security platform for datastores and APIs

Formal is the leading data security and infrastructure access platform that secures modern data stacks, helping security teams understand their organization's data schema in real-time, see where sensitive data is stored, how it's consumed across teams and services, and design access and encryption policies.

Data SecurityAPIsDatastoresSecurity
Company profileWebsite

More open roles at Formal