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 ...
Formal
60 Formal Jobs Hiring Near You
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 ...
Senior Software Engineer | Backend
San Francisco, CA · On-site
$144K - $190K/yr
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 ...
Senior Software Engineer | Backend
San Francisco, CA · On-site
$144K - $190K/yr
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 ...
Senior Software Engineer | Backend
San Francisco, CA · On-site
$144K - $190K/yr
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 ...
Senior Software Engineer | Backend
San Francisco, CA · On-site
$144K - $190K/yr
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 ...
Senior Formal Verification Engineer
$103K - $142K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Senior Formal Verification Engineer
$103K - $142K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
CPU Formal Verification Engineer
$164K - $311K/yr
As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage ...
CPU Formal Verification Engineer
$164K - $311K/yr
As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies. Working as part of the CPU team, you will leverage ...
Senior Formal Verification Engineer
Mountain View, CA · Hybrid
$123K - $169K/yr
Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...
Senior Formal Verification Engineer
Mountain View, CA · Hybrid
$123K - $169K/yr
Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...
Formal Design Verification Engineer
Austin, TX · Hybrid
$134K - $164K/yr
This role's focus will be on Formal Verification (FV) and methodologies and flows around FV * If you're eager to study, passionate about formal verification, enjoy hands-on practices, and driven to ...
Formal Design Verification Engineer
Austin, TX · Hybrid
$134K - $164K/yr
This role's focus will be on Formal Verification (FV) and methodologies and flows around FV * If you're eager to study, passionate about formal verification, enjoy hands-on practices, and driven to ...
Formal Verification Engineer
Mountain View, CA · On-site +1
$150K - $287K/yr
We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here * Apply model checking and formal ...
Formal Verification Engineer
Mountain View, CA · On-site +1
$150K - $287K/yr
We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here * Apply model checking and formal ...
Account Executive
San Francisco, CA · On-site
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 ...
Account Executive
San Francisco, CA · On-site
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Formal Verification Engineer
San Diego, CA · On-site
$144K/yr
VHDL, Verilog, System Verilog, and System Verilog Assertions (SVA), Experience with Formal Verification is a must Qualifications Experience in functional verification EDA tools: VCS, IUS, ModelSim ...
Formal Verification Engineer
San Diego, CA · On-site
$144K/yr
VHDL, Verilog, System Verilog, and System Verilog Assertions (SVA), Experience with Formal Verification is a must Qualifications Experience in functional verification EDA tools: VCS, IUS, ModelSim ...
About Formal Formal is building the future of privilege access management - and we throw a great party while we're at it. From founder dinners in SF to conferences like RSA, our events are where we ...
About Formal Formal is building the future of privilege access management - and we throw a great party while we're at it. From founder dinners in SF to conferences like RSA, our events are where we ...
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 ...
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 ...
Senior Formal Verification Engineer
Austin, TX · Hybrid
$134K/yr
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading Coherent interconnects and other High-PerformanceDesigns. As a Formal ...
Senior Formal Verification Engineer
Austin, TX · Hybrid
$134K/yr
NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading Coherent interconnects and other High-PerformanceDesigns. As a Formal ...
Senior Formal Verification Engineer
Santa Clara, CA · On-site
$122K - $168K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Senior Formal Verification Engineer
Santa Clara, CA · On-site
$122K - $168K/yr
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro ...
Product Marketing Manager
San Francisco, CA · On-site
$181K/yr
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 ...
Product Marketing Manager
San Francisco, CA · On-site
$181K/yr
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 ...
Senior Formal Verification Engineer
Mountain View, CA · On-site
$204K - $259K/yr
Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...
Senior Formal Verification Engineer
Mountain View, CA · On-site
$204K - $259K/yr
Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC ...
Formal Education & Certification : Bachelor's degree (or foreign equivalent) in a Computer Science, Computer Engineering, or Information Technology field of study (e.g., Information Technology ...
Formal Education & Certification : Bachelor's degree (or foreign equivalent) in a Computer Science, Computer Engineering, or Information Technology field of study (e.g., Information Technology ...
Formal Jobs Information
Full-time
Medical, Dental, Vision, PTO
Posted 28 days ago
Job description
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 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 AWS
What you'll doDesign 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
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
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
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.
100% medical, dental & vision insurance coverage for you
Partially covered for your dependents
Flexible PTO