Software Engineer | Backend

About FormalFormal is 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.Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta.About The RoleFormal 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 AWSWhat You'll DoDesign and develop a high performance data platform that can handle large volumes of data in real-timeBuild new product features from start to finish through to research, implementation, and maintenanceHelp improve performance and reliability of net new and existing featuresLead any initiative you think may have a strong impact on FormalDesign scalable services as Formal grows and processes more trafficWhat You NeedSoftware development experience building data-intensive software platformsYou value code simplicity and performanceStrong knowledge of Golang and experience with its ecosystemExperience with streaming data processing frameworks such as Apache Kafka and Google Pub/SubExperience debugging and optimizing complex production systemsExperience working in DBs, OS, networking, or other systems-level environmentsExperience with containerization technologies (Docker, ECS, or Kubernetes) and infrastructure as a code technologies (Terraform)Excellent communication skills and the ability to work well within a teamYou are a strong problem solver and have solid production debugging skillsNice-to-HavesYou have worked in a fast, high-growth startup environment beforeYou have experience using tools like Temporal and RenderYou have extensive knowledge of datastore protocols (Postgres, S3, Kafka)Familiarity with cloud computing platforms, such as Azure or GCPCompensationThis 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 youPartially covered for your dependentsFlexible PTO