About the job
About Formal
At Formal, we empower organizations with cutting-edge data security solutions that enable teams to effectively manage and understand their data seamlessly.
Our innovative approach involves developing a state-of-the-art protocol-aware reverse-proxy for datastores and APIs, allowing businesses to monitor their data in real-time. This capability ensures that sensitive information is handled according to the principle of least privilege, utilizing masking, filtering, and anonymization strategies.
We proudly serve top-tier companies such as Ramp, Gusto, and Notion, helping them navigate challenges in data security, compliance, and infrastructure access.
Backed by leading venture capital firms like Thrive Capital and Y Combinator, alongside angel investors from renowned tech companies such as Datadog, Clickhouse, Plaid, and Vanta, Formal is at the forefront of data security innovation.
About the Role
We are on a mission to assemble an exceptional engineering team and are seeking individuals eager to make a substantial impact on our product and company growth.
The ideal candidate possesses a profound understanding of scalable backend systems, demonstrates a strong sense of ownership, and thrives on managing projects from their inception to full-scale production deployment.
Our current technology stack includes Golang, Rust, Temporal, various datastore protocols (such as Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS.
What You'll Do
Design and develop a robust data platform capable of processing substantial data volumes in real-time.
Lead the development of new product features, overseeing everything from research and implementation to ongoing maintenance.
Enhance the performance and reliability of both new and existing features.
Spearhead initiatives that could significantly influence Formal's trajectory.
Architect scalable services as the company grows and manages increasing traffic.
What You Need
Proven experience in software development, specifically in building data-intensive platforms.
A strong appreciation for code simplicity and performance optimization.
Expertise in Golang and familiarity with its ecosystem.
Experience with data streaming frameworks such as Apache Kafka and Google Pub/Sub.

