Software Engineer | Backend

Formal is an innovative data security platform backed by prestigious investors including Thrive Capital and Y Combinator, with angel investors from companies like Datadog, Clickhouse, Plaid, and Vanta. The platform serves as a modern protocol-aware reverse-proxy for datastores and APIs, helping organizations manage and secure their sensitive data in real-time through masking, filtering, and anonymization policies.

As a Backend Software Engineer at Formal, you'll be at the forefront of building scalable systems that power their data security platform. The role offers an opportunity to work with cutting-edge technologies including Golang, Rust, Temporal, and various datastore protocols. You'll be responsible for designing and developing high-performance data platforms, implementing new features, and ensuring system reliability.

The ideal candidate should have strong experience with data-intensive platforms, excellent problem-solving abilities, and deep knowledge of Golang. You'll be working in a fast-paced startup environment where you can make significant impacts on the product and company direction. The tech stack includes modern tools and technologies, and you'll be handling interesting challenges in data security, compliance, and infrastructure access.

The company culture emphasizes ownership and impact, offering the opportunity to lead initiatives and shape the product from inception to production. Formal is trusted by leading companies like Ramp, Gusto, and Notion, providing a platform for meaningful work that directly affects how organizations handle sensitive data. The role comes with competitive compensation including both cash and equity, along with comprehensive benefits for US-based employees.