Skip to main content

Formal

Computer and Network Security

Formal's mission is to secure AGI. A protocol-aware L7 proxy securing every identity and every resource.

Hiring now

7open roles−12%vs last week

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.

Hiring pattern

How fast Formal is adding roles, and how they're set up.

New roles each monthRoles first posted in the month

8
0
0
1
0
JulyAugustSeptemberOctoberNovember
November: 0 new roles.

Customers

All 18 companies Formal names as customers.

Customers hiring now16

Other customers2

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

Travis McPeak · Head of Security

“We did a vendor bakeoff between a number of products and Formal came out on top.”

Daniel Pyykonen · Deputy CISO

“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.”

Kevin Qiu · Lead Security Engineer

“With Formal, we can finally manage least privilege access across our entire infrastructure through a single control plane.”

Cursor

“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.”

Daniel Pyykonen · Head of Security Engineering · Notion
Show 15 more quotes

“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.”

Michelle Parent · Security Engineer · Notion

“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.”

Daniel Pyykonen · Head of Security Engineering · Notion

“Formal's advanced solutions in data observability and governance equip our team with leading-edge tools, ensuring unparalleled security for our customer's data.”

Michael Hensley · Head of Cyber Security · Modern Health

“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.”

Michael Hensley · Head of Cyber Security · Modern Health

“Formal’s evolving suite of security tools is crucial for our enterprise, simplifying complex security tasks like query storage in S3 buckets.”

Michael Ivey · Staff Security Engineer · Modern Health

“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.”

Michael Hensley · Head of Cyber Security · Modern Health

“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.”

Nicoleta Iordachi · Data Platform Manager · ManoMano

“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.”

Nicoleta Iordachi · Data Platform Manager · ManoMano

“Formal’s platform integration was seamless and provided us with the end-to-end observability we desperately needed.”

Cyrielle Camanes · Site Reliability Engineering · ManoMano

“With Formal, we have been able to quickly set up automated data protection in complex scenarios.”

Justin Collins · Head of Security · Gusto

“With Formal, we quickly set up automated data protection in complex scenarios, allowing our Privacy Security team to agilely support business needs.”

Justin Collins · Head of Security · Gusto

“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.”

Ian Wardell · Data Privacy Lead · Gusto

“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.”

Travis McPeak · Head of Security · Cursor

“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.”

Roy Xu · Software Engineer, Security · Cursor

“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.”

Travis McPeak · Head of Security · Cursor

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
Social
LinkedIn · GitHub · X

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.
Return to navigation