Staff Software Engineer
FormalRemote
Posted December 1, 2025
Full Time
About the Company
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.
Job Description
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.
Requirements
- 3+ years of software engineering experience
- Deep understanding of type systems and logic systems
- Experience with formal programming language semantic specifications, proofs, and ability to translate them into code
- Experience with formal verification including model checking, theorem provers and SMT-based approaches
- Understanding of system-level language concerns
- Mastery of Rust
- High level of independence and autonomy
- Ability and willingness to document, teach, and explain complex technical problems and solutions
Benefits
- Competitive market salary
- Stock grant (>= 0.4%) conditioned on a vesting schedule
- Unlimited paid and unpaid vacation time
- Reimbursable vacation expenses (transportation and lodging up to $1k)
- Triennial $4k computing device allowance
- Comprehensive medical, dental, and vision insurance
- $120 monthly gym allowance
- $250 yearly to spend on anything educational
