Stand out for this role — generate a tailored resume and cover letter in about a minute.
Formal is a data security platform building scalable backend systems to understand and control data in real time. We are hiring engineers who own projects from inception to production, with a stack including Golang, Kafka, and cloud-native technologies.
You will design and develop high-performance data platforms, improve reliability, and lead initiatives that impact the company’s growth while collaborating closely with the engineering team.
Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp, Gusto, Notion 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 is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS.