[sbenitez]

Formal | Founding Software Engineer (Compilers, Verification) | REMOTE | Full-Time | >= $200k + 0.5% equity

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We're starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service.

We are a 4-person, VC-funded team with PhDs from Stanford, UW, and OSU, advised by professors from MIT and UWaterloo. We are hiring founding-level software engineers [1] in compilers, programming languages, & verification.

Please email us at (work at formalstack dot com) and let us know how you fit the role [1]. While we are only able to move forward with strictly qualifying applicants at this time, we welcome conversations with anyone interested.

[0]: https://formalstack.com [1]: https://formalstack.com/jobs/01-2025/compilers.pdf

[newaccountman2]

I am not qualified for your current hiring needs, but this is extremely interesting to me.

Right now, I am currently learning Rust and have some side projects planned writing interpreters and compilers therein, and would love to take you up on the offer to have "conversations with anyone interested" so I can learn more about what you're building and learn some things.

[sbenitez]

If you haven't sent us an email already, please do!

[ern0]

1. Is there any mailing list or newsletter for folks interested in this project as kind of beta testers?

2. Do you plan to implement a full programming language? Dataflow is not enough?

[sbenitez]

1. You can sign up via our website: https://formalstack.com/.

2. Yes!

[tinchos]

Whoa! It seems really interesting, I just applied. Thanks for posting it here :D!

[InkCanon]

Very cool! Don't meet the requirements but exciting work nonetheless!