Formal
Computer and Network Security
Formal's mission is to secure AGI. A protocol-aware L7 proxy securing every identity and every resource.
Is Formal hiring?
Yes. As of November 4, 2026, Formal has 7 open roles on Metaintro.
Open roles
Newest first. Pay shown when the posting lists it.
- Software Engineer | InfraDevOpsSan Francisco, California, United StatesSan Francisco, California, United States——Sep 25, 2026
- Staff Software Engineer | Systems and L7 ProtocolsDeveloperSan Francisco, California, United StatesSan Francisco, California, United States——Jun 4, 2026
- Software Engineer | Systems and L7 ProtocolsDeveloperSan Francisco, California, United StatesSan Francisco, California, United States——Aug 19, 2025
- Product Marketing ManagerMarketingSan Francisco, California, United StatesSan Francisco, California, United States——Aug 19, 2025
- Account ExecutiveSalesSan Francisco, California, United StatesSan Francisco, California, United States——Aug 19, 2025
- Field Marketing SpecialistMarketingSan Francisco, California, United States · On-siteSan Francisco, California, United StatesOn-site—Aug 18, 2025
- Channel Account SpecialistBusiness DevelopmentSan Francisco, California, United StatesSan Francisco, California, United States——Aug 18, 2025
Hiring pattern
How fast Formal is adding roles, and how they're set up.
New roles each monthRoles first posted in the month
Customers
All 18 companies Formal names as customers.
Customers hiring now16
- SSurge299 open roles
- Mercury198 open roles

- Ramp166 open roles

- Notion152 open roles

- Gusto135 open roles

- Decagon131 open roles

- Cursor114 open roles

- Asana107 open roles

- Rogo102 open roles

- Profound81 open roles

- Hippocratic AI53 open roles

- Rillet39 open roles

- GGranola19 open roles
- Anchorage17 open roles

- ManoMano7 open roles

- Modern Health5 open roles

Other customers2
- EElise AI
- Latent Health

What their customers say
Quotes from people at Formal's customers.
“Without Formal, we couldn’t have agents with access to sensitive data. With Formal, because we are able to inspect all traffic and enforce controls, we are able to provide a safe environment for the agents to get the job done.”
“We did a vendor bakeoff between a number of products and Formal came out on top.”
“Going from 0.0.0.0/0 to an allowlist felt like progress, until we realized every allowed domain is still an exfiltration channel. Formal lets our production agent do the work safely.”
“With Formal, we can finally manage least privilege access across our entire infrastructure through a single control plane.”
“The ROI was pretty significant for Formal because it would’ve cost us hundreds of hours to develop our own. With Formal, we were able to almost instantaneously deploy something that gave us visibility into what we had difficulty seeing before and preventative measures that we desperately wanted to instill in our ecosystem.”
Show 15 more quotesShow fewer
“What’s nice is that the developers who are using it don’t even notice that they’re using it. So it’s working very seamlessly into our system. It’s working in the background and it’s not impacting developer velocity.”
“We evaluated against other vendors as well as potentially solving this internally ourselves. Solving this problem internally was just way too much of a lift and the native tooling that was available within our cloud provider just didn’t cut it. We did a vendor bakeoff between a number of products and Formal came out on top.”
“Formal's advanced solutions in data observability and governance equip our team with leading-edge tools, ensuring unparalleled security for our customer's data.”
“Formal’s comprehensive approach to data governance is instrumental in scaling Modern Health’s cybersecurity efforts, ensuring our team is equipped with the industry’s best tools for protecting our clients’ data.”
“Formal’s evolving suite of security tools is crucial for our enterprise, simplifying complex security tasks like query storage in S3 buckets.”
“Formal’s advanced solutions in data observability and governance equip our team with leading-edge tools, ensuring unparalleled security for our customer’s data. Formal’s solution, with its robust data governance model and deep integrations into Modern Health’s IDP, allowed database access to become more secure and more scalable for internal users that needed access.”
“Implementing Formal was a game-changer for our data management strategy. The ability to seamlessly integrate and gain deep insights into our data consumption significantly improves our user management.”
“The deployment of Formal was straightforward and had no impact on our existing workflows. The insights gained from Formal’s observability tools have been invaluable to improve our data governance and security posture.”
“Formal’s platform integration was seamless and provided us with the end-to-end observability we desperately needed.”
“With Formal, we have been able to quickly set up automated data protection in complex scenarios.”
“With Formal, we quickly set up automated data protection in complex scenarios, allowing our Privacy Security team to agilely support business needs.”
“Formal Satellites simplified ensuring any PII or PHI entities between Salesforce and our LLM provider were automatically detected and masked, without needing detailed data structure knowledge.”
“Too many security products are really smoke and mirrors. They look pretty, they check a bunch of boxes, they say they can solve all the problems for you — but when you get below the surface a little, they don’t work as advertised, there are a bunch of problems, and the team behind them isn’t responsive. What I love about Formal: while it’s very powerful and does a lot of things, when you actually dig, it does those things.”
“We’ve limited the amount of data that those cloud agents can access and we’re able to tie that back to the specific user who is using that cloud agent, which is a feature that I’m only aware of Formal having.”
“Without Formal, we couldn’t give agents access to sensitive data. With Formal, we inspect all traffic and enforce controls, so we can give agents a safe environment to do the job.”
AI launches and partners
What Formal has launched and who it works with on AI.
- LaunchFormalFormal secures AGI by enforcing least privilege across protocols, identities, and queries.
Skills they ask for
Most frequent across open postings.
Tech stack
- Analytics
- Google Analytics 4
- Google Tag Manager
- Segment
- CDN
- Amazon CloudFront
Company facts
- Headquarters
- San Francisco, US
- Founded
- 2024
- Industry
- Computer and Network Security
- Sector (NAICS)
- Information
- Peer
- Palo Alto Networks
- Website
- formal.ai
- Careers
- jobs.ashbyhq.com/formal
Similar companies
Companies in the same industry as Formal that are hiring now.
Questions about Formal
- Is Formal hiring?
- Yes. As of November 4, 2026, Formal has 7 open roles on Metaintro. The most are in Developer (2), Marketing (2), and Business Development (1).
- Who are Formal's customers?
- Formal names 18 customers, including Surge, Mercury, Ramp, Notion, and Gusto.