Formal
Software Engineer
San Francisco · Full-time
Sponsorship not specifiedDetected 337 days ago
GoPostgreSQLMySQLSnowflakeRedshiftAWSGCPAzureDockerKubernetesTerraformDatadogTemporalKafkaRecruitingResearchCommunication
About the role
- Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS
Responsibilities
- 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
- Lead any initiative you think may have a strong impact on Formal
- Design scalable services as Formal grows and processes more traffic
- Software development experience building data-intensive software platforms
Requirements
- Strong knowledge of Golang and experience with its ecosystem
- Experience with streaming data processing frameworks such as Apache Kafka and Google Pub/Sub
- Experience with containerization technologies (Docker, ECS, or Kubernetes) and infrastructure as a code technologies (Terraform)
- You are a strong problem solver and have solid production debugging skills
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.
- Partially covered for your dependents
Benefits
- 100% medical, dental & vision insurance coverage for you
Company info
- About Formal
- 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.
This listing is sourced directly from Formal's careers page and normalized into a canonical job model.