Formal Logo

Formal

Staff Software Engineer | Backend

Reposted 6 Days Ago
Be an Early Applicant
In-Office
San Francisco, CA, USA
Senior level
In-Office
San Francisco, CA, USA
Senior level
Design and develop a high-performance data platform, implement features, improve reliability, and lead impactful projects in backend services.
The summary above was generated by AI
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.

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 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

What You Need
  • 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

Nice-to-Haves
  • 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

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, business requirements and geographical location.

Benefits (for U.S.-based full-time employees)
  • 100% medical, dental & vision insurance coverage for you

    • Partially covered for your dependents

  • Flexible PTO

HQ

Formal San Francisco, California, USA Office

374 Brannan St, San Francisco, California, United States, 94107

Similar Jobs

Yesterday
In-Office
San Francisco, CA, USA
221K-280K Annually
Senior level
221K-280K Annually
Senior level
Artificial Intelligence • Marketing Tech • Mobile • Software
Lead development and maintenance of scalable backend and data systems for personalized messaging at scale. Partner with data scientists/ML engineers, optimize real-time and batch pipelines, improve experimentation and feedback loops, ensure reliability through best practices and on-call support, and ship high-performance, data-driven features.
Top Skills: AWSDockerDynamoDBEsbGoJavaKafkaKubernetesPostgresPulsarPythonReactRedisRestfulSnowflakeSoapTypescript
2 Days Ago
Hybrid
Sunnyvale, CA, USA
210K-314K Annually
Senior level
210K-314K Annually
Senior level
3D Printing • Cloud • Hardware • Other • Software
Own and build backend services that provision, update, and communicate with a global fleet of printers. Design resilient cloud-to-device networking and Linux bring‑up/update systems, drive end-to-end initiatives, participate in on-call/incident response, and provide technical leadership and mentorship across backend, infrastructure, and device teams.
Top Skills: A/B Update StrategyBazelC++DnsEmbedded LinuxGoHTTPLinuxMqttNatNode.jsOta UpdatesPythonSystemdTcp/IpTlsTypescriptWebsockets
2 Days Ago
In-Office
San Francisco, CA, USA
260K-300K Annually
Senior level
260K-300K Annually
Senior level
Artificial Intelligence • Enterprise Web • Healthtech • Software
Design, build, and own high-throughput backend and infrastructure services for a healthcare AI agent platform. Ensure reliability, graceful degradation, observability, performance, and secure handling of sensitive patient data. Drive architecture and operate services end-to-end in production.

What you need to know about the San Francisco Tech Scene

San Francisco and the surrounding Bay Area attracts more startup funding than any other region in the world. Home to Stanford University and UC Berkeley, leading VC firms and several of the world’s most valuable companies, the Bay Area is the place to go for anyone looking to make it big in the tech industry. That said, San Francisco has a lot to offer beyond technology thanks to a thriving art and music scene, excellent food and a short drive to several of the country’s most beautiful recreational areas.

Key Facts About San Francisco Tech

  • Number of Tech Workers: 365,500; 13.9% of overall workforce (2024 CompTIA survey)
  • Major Tech Employers: Google, Apple, Salesforce, Meta
  • Key Industries: Artificial intelligence, cloud computing, fintech, consumer technology, software
  • Funding Landscape: $50.5 billion in venture capital funding in 2024 (Pitchbook)
  • Notable Investors: Sequoia Capital, Andreessen Horowitz, Bessemer Venture Partners, Greylock Partners, Khosla Ventures, Kleiner Perkins
  • Research Centers and Universities: Stanford University; University of California, Berkeley; University of San Francisco; Santa Clara University; Ames Research Center; Center for AI Safety; California Institute for Regenerative Medicine

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account