Senior Software Engineer | Systems and L7 Protocols

Build the protocol-aware proxies at the core of Formal. You'll work on how connections are established, how application-layer protocols are parsed, and how requests and responses flow between clients and upstream systems.

The work goes beyond conventional web backends: understanding wire protocols, managing connection and session state, and working with existing clients without breaking their behavior or adding unnecessary latency. You'll also build the distributed backend that coordinates these proxies, owning projects from research and implementation through debugging and scaling in production.