alt Hacker NewsFormal | Multiple Positions | REMOTE | Full-Time | $100k - $250k + Equity
At Formal [0], we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is to write a new programming language to replace eBPF and build the world's first serverless networking infrastructure.
We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo. We are currently hiring for the following four positions:
- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification (≥ $200k + ≥ 0.5%)
- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.25%)
- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.2%)
- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages (≥ $5k / month)
Please see [5] for general information. To apply, email us at (work at formalstack dot com) and let us know how your experiences fit the role and its requirements.
[0]: https://formalstack.com [1]: https://formalstack.com/jobs/09-2025/staff-software-engineer... [2]: https://formalstack.com/jobs/09-2025/formal-verification-eng... [3]: https://formalstack.com/jobs/09-2025/software-engineer-v.pdf [4]: https://formalstack.com/jobs/09-2025/formal-methods-phd-inte... [5]: https://formalstack.com/jobs/09-2025/info.pdf
Replies
I was interested to 'stay in the loop' on the website but I just got a Contact error: ... Access forbidden
Hey Sergio! I applied for the role of founding engineer a couple of months ago and passed the different stages. We had even been talking about the exact salary package and start date, decided to talk again in a couple of weeks about the specifics, but then I never heard back, despite reaching out to you again.
It’s totally fine if plans change and you decide not to move forward with a candidate, but I think a short email isn’t too much to ask after spending multiple hours on the various interviews.
That said, the interview process was otherwise pretty good and the work you’re doing sounds really interesting, so I would still encourage others to apply. Best of luck with Formal!