
11 - 50 employees
π Cybersecurity
π API
π’ Enterprise
Cybersecurity β’ API β’ Enterprise
Formal is a protocol-aware reverse-proxy for datastores and APIs that helps security teams understand and control their data. It empowers teams to manage data flows in real-time and enforce access policies effectively, addressing the complexities and vulnerabilities within modern data stacks. Formal integrates with various tools to streamline data protection processes, enabling organizations to implement security policies that align with their operational needs, all while maintaining high availability and enterprise-grade security controls.
π‘ We watch Formal's careers page
Several times a day
how often we check
2
roles posted in the last 30 days
Selected: π Date Added.
π₯ 1 hour ago
Software Engineer V building a Rust-like compiler for kernel-space systems. Collaborating with Formal Methods, OS, Networking, and Security teams on verified production integration.
πΊπΈ United States β Remote
π΅ $100k - $175k / year
β° Full Time
π’ Junior
π‘ Mid-level
π§βπ» Full-stack Engineer
π«π¨βπ No degree required
π» Ghost score 0%
π₯ 1 hour ago
Staff Software Engineer developing and formally verifying a kernel-space Rust-like programming language. Building compiler infrastructure and collaborating with OS and networking teams.
πΊπΈ United States β Remote
π΅ $175k - $250k / year
β° Full Time
π΄ Lead
π§βπ» Full-stack Engineer
π» Ghost score 0%