{"id":1262209,"url":"https://alion.io/job/formal-software-engineer-infra","title":"Software Engineer | Infra","company":{"id":4208,"name":"Formal","domain":"formal.com","url":"https://alion.io/company/formal","size_band":null,"is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":{"grade":"D","score":51,"open_postings":11,"ghost_share":0.818,"stale_share":0,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-10-04T05:45:00Z"}},"role":"Backend","role_family":"Backend","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["San Francisco, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":151000,"max_usd":314000,"period":"year","method":"role_country_seniority_unknown","sample_n":5985},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":true,"technologies":[{"name":"Apache Kafka","optional":false},{"name":"AWS","optional":false},{"name":"CI/CD","optional":false},{"name":"ClickHouse","optional":false},{"name":"Cursor","optional":false},{"name":"Datadog","optional":false},{"name":"DNS","optional":false},{"name":"GCP","optional":false},{"name":"Helm","optional":false},{"name":"Kubernetes","optional":false},{"name":"Linux","optional":false},{"name":"Notion","optional":false},{"name":"Python","optional":false},{"name":"Rust","optional":false},{"name":"Terraform","optional":false},{"name":"Bazel","optional":true},{"name":"PostgreSQL","optional":true}],"status":"live","first_seen_at":"2026-09-25T19:34:38Z","employer_posted_date":"2026-09-25","last_verified_at":"2026-10-05T01:02:11Z","board_verified":true,"closed_at":null,"days_open":9,"trust":{"level":"ok","repost_count":0,"flags":["company_stale"],"days_open":8},"description":"About Formal\nFormal 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.\nWe 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.\nFormal 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.\nAbout the role\nFormal 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.\nWhat you'll do\nLead our migration to Kubernetes and operate reliable clusters, networking, access controls, and data services.\n\nScale Kafka-to-Quickwit ingestion and search; improve throughput, indexing lag, API latency, and storage costs.\n\nBuild repeatable on-prem installations and upgrades, including configuration, data migrations, and rollback.\n\nEstablish useful alerts and reliability targets; lead incident response and eliminate recurring failures.\n\nAutomate provisioning with Terraform and Helm; improve CI/CD, capacity planning, backups, and recovery.\n\nWhat you need\nExperience building and operating production cloud infrastructure on AWS or Google Cloud using Terraform.\n\nExperience operating production Kubernetes clusters, including deployments, ingress, autoscaling, and upgrades.\n\nStrong Linux and networking fundamentals, including DNS, TLS, and load balancing.\n\nExperience with Go, Python, Rust, or another relevant programming language.\n\nExperience with CI/CD, observability, and operating data pipelines or distributed APIs in production.\n\nA track record of automating operational work and owning services through incidents and upgrades.\n\nNice-to-haves\nExperience deploying and supporting on-prem software across customer networks and infrastructure.\n\nExperience with Quickwit or similar search systems, Kafka, PostgreSQL, or Temporal.\n\nExperience with Helm, Bazel, self-hosted CI runners, or environments for AI coding agents.\n\nCompensation\nThis role offers cash compensation and a stock options grant.\n\nThe positioning of offers within a certain range depends on various factors, including: candidate experience, qualifications, skills, business requirements and geographical location.\n\nBenefits (for U.S.-based full-time employees)\n100% medical, dental & vision insurance coverage for you\nPartially covered for your dependents\n\nFlexible PTO","description_format":"text","description_chars":2969,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":["Insurance coverage","Stock options","Vision insurance"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Cybersecurity","Data & Analytics","Cloud Security"],"lifecycle":[{"event":"open","at":"2026-09-25T20:48:44Z"}],"visa":[],"liveness":{"score":49,"band":"ok","label":"Likely open","p_open":1,"p_active":0.517,"p_room":0.945,"age_days":8,"expected_fill_days":21,"reasons":["conf:0","stale_co","win:mid"],"computed_at":"2026-10-04T05:45:00Z"},"pay":null,"html_url":"https://alion.io/job/formal-software-engineer-infra","json_url":"https://alion.io/job/formal-software-engineer-infra.json","meta":{"generated_at":"2026-10-05T01:53:27Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","usage":{"tier":"crawler","counted_by":"address","units_charged":1,"used_today":2471,"day_limit":5000,"remaining_today":2529,"minute_limit":60,"resets_at":"2026-10-06T00:00:00Z"}}}