At Formal we are on a mission to help companies have zero-data breaches. The data stack has evolved very quickly in the past decade but there is still a missing piece: the governance stack. Our long-term vision is to become the governance layer for enterprise data.

Formal is a data store security and governance layer that brings unified observability and access control to any data stack, at any scale, anywhere.

Formal is a SaaS technology startup founded in July 2021 which launched its SaaS product in Dec 2021. We already have paying customers and a very strong traction.

We are building a DataOS.

The data stack has evolved very quickly in the past decade and Formal's long-term vision is to become the governance layer for enterprise data, helping teams understand their organization's data schema in real-time, see where sensitive data is stored, and how it's consumed across the organization’s teams and services, all while staying compliant with data privacy regulations.

To our customers, Formal feels like magic, but under the hood, it’s a reverse proxy that speaks datastore protocols (such as Postgres, S3, Kafka) to inspect every single query and modify query results in real time.

Founded last year, we already have paying customers and strong traction.

We have raised from top-tiers VCs including Thrive Capital, Y Combinator.

About the role

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 SF office.

Our tech stack includes:

• Go and Rust for the backend
• AWS, GCP, Azure and Terraform for the cloud
• React and TypeScript for the Frontend

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

• 3+ years of relevant software development industry building data-intensive software platforms
• You value code simplicity and performance
• Strong knowledge of Golang and experience with its ecosystem
• Experience with streaming data processing frameworks such as Apache Kafka, Google Pub/Sub, or others
• Experience debugging and optimizing complex production systems
• Experience working in DBs, OS, networking, or other systems-level environments
• Experience with containerization technologies, such as Docker, ECS, or Kubernetes
• Experience with infrastructure as a code technologies, such as Terraform
• You have excellent communication skills and the ability to work well within a team
• You are a strong problem solver and have solid production debugging skills

Bonus points

• You have worked in a fast, high-growth startup environment before
• You have experience using tools like Temporal and Render
• You have extensive knowledge of datastore protocols (Postgres, S3, Kafka)
• Familiarity with cloud computing platforms, such as Azure or GCP
• You are willing to run the extra-mile if necessary

Our tech stack runs on Terraform/Go/ReactJS/AWS DynamoDB/PostgreSQL/Aws SNS/Aws SQS/Kinesis