Formal
Staff Software Engineer | Backend
1mo ago
USALeadgolangrusttemporalpostgresqls3kafkamysqlsnowflake+3
Design and develop a high performance data platform handling large volumes of data in real-time, owning projects from inception to production scale.
Responsibilities
- 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
- 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 to research, implementation, and maintenance
- Help improve performance and reliability of net new and existing features
- Lead any initiative you think may have a strong impact on Formal
- Design scalable services as Formal grows and processes more traffic
Nice to have
- 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
Conditions
- 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, business requirements and geographical location.
- 100% medical, dental & vision insurance coverage for you Partially covered for your dependents
- Flexible PTO
Other
- Formal 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.
- 6+ years of relevant software development experience 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 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 a code technologies (Terraform)
- Excellent communication skills and the ability to work well within a team
- You are a strong problem solver and have solid production debugging skills