Formal
Software Engineer
San Francisco · Full-time
Sponsorship not specifiedDetected 445 days ago
TypeScriptGoReactNext.jsVue.jsKubernetesTerraformDatadogKafkaFigmaAccessibilityRecruitingCommunicationCollaborationProblem Solving
About the role
- Our tech stack currently involves Typescript, NextJS, Shadcn, Vercel, and Golang
Responsibilities
- Enhance existing features by incorporating user feedback and implementing improvements to usability and design.
- Lead any initiative you think may have a strong impact on Formal.
- Relevant software development experience building data-intensive software platforms
- Experience in building scalable, responsive, and cross-browser compatible web applications
Requirements
- Strong expertise in a modern framework (e.g. React, Vue.js) and proficiency with some backend language (we use Go)
- Experience with streaming data processing frameworks such as Apache Kafka and Google Pub/Sub
- Some experience with underlying infrastructure primitives like Kubernetes and Terraform
- Experience with UI/UX and product design
Compensation
- This role offers cash compensation and stock options.
- The positioning of offers within a certain range depends on various factors, including: candidate experience, qualifications, skills, business requirements, and geographical location.
- 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.