Formal Inc
About Formal
Formal is a 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. About The Role
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. What You'll 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 through research, implementation, and maintenance. Help improve performance and reliability of new and existing features. Lead initiatives you think may have a strong impact on Formal. Design scalable services as Formal grows and processes more traffic.
What You Need
Software development experience building data?intensive software platforms. Valuing code simplicity and performance. Strong knowledge of Golang and its ecosystem. Experience with streaming data processing frameworks such as Apache Kafka and Google Pub/Sub. Experience debugging and optimizing complex production systems. Experience working in DBs, OS, networking, or other systems?level environments. Experience with containerization technologies (Docker, ECS, or Kubernetes) and infrastructure?as?code technologies (Terraform). Excellent communication skills and the ability to work well within a team. Strong problem solving and solid production debugging skills.
Nice?to?Haves
Experience in a fast, high?growth startup environment. Experience using tools like Temporal and Render. Extensive knowledge of datastore protocols (Postgres, S3, Kafka). Familiarity with cloud computing platforms, such as Azure or GCP.
Compensation
This role offers cash compensation and a stock options grant. The positioning of offers within a certain range depends on various factors, including candidate experience, qualifications, skills, and business requirements.
Benefits (for U.S.-based full?time employees)
100% medical, dental & vision insurance coverage for you Partially covered for your dependents
Flexible PTO
Seniority level
Entry level Employment type
Full-time Job function
Engineering and Information Technology Industries
Data Security Software Products #J-18808-Ljbffr
Formal is a 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. About The Role
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. What You'll 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 through research, implementation, and maintenance. Help improve performance and reliability of new and existing features. Lead initiatives you think may have a strong impact on Formal. Design scalable services as Formal grows and processes more traffic.
What You Need
Software development experience building data?intensive software platforms. Valuing code simplicity and performance. Strong knowledge of Golang and its ecosystem. Experience with streaming data processing frameworks such as Apache Kafka and Google Pub/Sub. Experience debugging and optimizing complex production systems. Experience working in DBs, OS, networking, or other systems?level environments. Experience with containerization technologies (Docker, ECS, or Kubernetes) and infrastructure?as?code technologies (Terraform). Excellent communication skills and the ability to work well within a team. Strong problem solving and solid production debugging skills.
Nice?to?Haves
Experience in a fast, high?growth startup environment. Experience using tools like Temporal and Render. Extensive knowledge of datastore protocols (Postgres, S3, Kafka). Familiarity with cloud computing platforms, such as Azure or GCP.
Compensation
This role offers cash compensation and a stock options grant. The positioning of offers within a certain range depends on various factors, including candidate experience, qualifications, skills, and business requirements.
Benefits (for U.S.-based full?time employees)
100% medical, dental & vision insurance coverage for you Partially covered for your dependents
Flexible PTO
Seniority level
Entry level Employment type
Full-time Job function
Engineering and Information Technology Industries
Data Security Software Products #J-18808-Ljbffr