Formal is a data privilege access management platform that automates privilege access at the packet level, enabling engineering-focused security teams to manage permissions with granular precision. By providing real‑time, packet‑level visibility and control, Formal helps companies like Notion, Ramp, Gusto, and Modern Health secure their data while maintaining developer agility. The platform’s unique automation reduces manual configuration and the risk of privilege creep, allowing security teams to focus on innovation rather than routine oversight. Backed by world‑class investors including Thrive Capital and Y Combinator, Formal is positioned to lead the next generation of access management solutions.
Lead the development of a new, Rust-like programming language, and collaborate with OS and networking teams to integrate it into the overall product. Expect to write and review design documents, implementation decisions, and code.
Formal is a data privilege access management platform that automates privilege access at the packet level, enabling engineering-focused security teams to manage permissions with granular precision. By providing real‑time, packet‑level visibility and control, Formal helps companies like Notion, Ramp, Gusto, and Modern Health secure their data while maintaining developer agility. The platform’s unique automation reduces manual configuration and the risk of privilege creep, allowing security teams to focus on innovation rather than routine oversight. Backed by world‑class investors including Thrive Capital and Y Combinator, Formal is positioned to lead the next generation of access management solutions.