Infrastructure Engineer
Formal
Infrastructure Engineer
Formal
Automated data access governance platform
Formal is building a network security platform for the AI era. As agents gain access to sensitive data and production systems, organizations need control over the actions they take and the data they receive. We enforce those controls directly in the network path, with a shared policy layer for humans and agents across databases, infrastructure, APIs, and AI tools.
We are trusted by leading companies such as Cursor, Decagon, Notion, and more to solve problems across data security and compliance, data quality management, and infrastructure access.
Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta.
Formal secures billions of requests daily. Join a small team tackling the infrastructure behind that scale: log ingestion, fast search and APIs, and reliable cloud and on-prem deployments. You'll help own and make the platform easier to deploy, operate, and upgrade in our cloud and customer environments.
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.
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.
Experience deploying and supporting on-prem software across customer networks and infrastructure.
Experience with search systems, Kafka, PostgreSQL, or Temporal.
Experience with Helm, Bazel, self-hosted CI runners, or environments for AI coding agents.
This role offers cash compensation and a stock options grant.
The positioning of offers within a certain range depends on various factors, including: candidate experience, qualifications, skills, business requirements and geographical location.
100% medical, dental & vision insurance coverage for you
Partially covered for your dependents
Flexible PTO
Formal builds and runs a centralized data governance platform that helps businesses control who can access data, while automatically protecting it. It decouples access controls from data stores and provides automated workflows, dynamic masking, and security controls to manage data access across the entire data infrastructure. The platform continuously discovers and classifies data, shows query-level visibility, and flags sensitive information like PII and PHI to prevent leaks. This makes it easier for organizations in finance, healthcare, and tech to stay compliant with data privacy rules and protect sensitive information as they scale data usage. Formal’s goal is to help teams enforce data access policies, automate compliance processes, and reduce the risk of data breaches across the organization.
Explore more opportunities at Formal