← All roles

Software Engineer | Systems and L7 Protocols

Formal· Engineering
Apply on company site
San FranciscoFull-timePosted 8mo ago

About the role

Build protocol-aware proxies at the core of Formal, focusing on how connections are established, how application-layer protocols are parsed, and how requests/responses flow between clients and upstream systems. Work spans wire protocols, connection/session state, and production-grade distributed backend coordination across proxies and services.

Responsibilities

  • Build application-layer proxies for databases, infrastructure, and AI tools, working directly with protocols such as PostgreSQL, MySQL, SSH, HTTP, and MCP.
  • Implement how Formal parses and modifies protocol messages, handles authentication handshakes, and manages connections and streaming responses.
  • Extend protocol support to work with more clients, drivers, and upstream systems, preserving their expected behavior through the proxy.
  • Build the distributed services that configure and coordinate proxies, synchronize state, and process the events they produce.
  • Solve production problems across the traffic path, improving throughput, latency, memory usage, and connection reliability.

Qualifications

  • Experience building systems software, proxies, database internals, networking software, or distributed services.
  • Experience with Go, Rust, or another language used for systems programming.
  • Strong networking fundamentals, including TCP, TLS, connection management, and application-layer protocols.
  • Experience building concurrent software and reasoning about resource usage, timeouts, and partial failures.
  • Experience debugging production systems using logs, traces, profiling, or packet captures.
  • A preference for simple, maintainable code and ownership from design through production.

Skills

Required:Proficiency with Go or RustNetworking fundamentalsConcurrency and systems designProduction debugging

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