About Formal

Formal is a modern protocol-aware reverse-proxy for datastores and APIs that helps security teams understand and control their data.

We help stakeholders from engineering, data, and 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 enforce control access, masking, filtering or anonymization policies to secure data.

We are trusted by leading companies (Ramp.com, Gusto.com, Notion.com) to solve a range of problems from data security and compliance, to data quality management and infrastructure access.

We are backed by top-tiers VCs including Thrive Capital and Y Combinator. Our angel investors are startup executives and founders from Datadog, Clickhouse, Plaid, Semgrep, and Vanta.

About the position

As a Backend Software Engineer at Formal, you can expect to have a big impact on shaping the product and building the company. You’ll take part in building the core product of Formal and have unprecedented ownership.

This role is full-time, in person in our San Francisco office.

What you will do

• Design and develop a high performance data platform that can handle large volumes of data in real-time
• Build new product features from start to finish, from conception through to research, implementation, and maintenance
• Helping improve performance and reliability, or polish existing features
• Recruiting your future team members and coach them to help them grow
• Leading any initiative you think may have a strong impact on Formal
• Design ways to scale up our services for more traffic

About you