[sbenitez]

Formal | Founding Software Engineer (Compilers, Networking) | REMOTE | Full-Time | >= $200k + 2% 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 VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs. There are two official roles, but we welcome conversations with anyone interested in joining the team.

- Compilers & Programming Languages - https://formalstack.com/jobs/09-2024/compilers.pdf

- Kernel Networking - https://formalstack.com/jobs/09-2024/networking.pdf

Please email us at (work at formalstack dot com) or (sergio at the same domain).

[0]: https://formalstack.com

[nhatcher]

Off topic, but since you are here, thanks for rocket.rs. Awesome project!

[sbenitez]

Thank you! I truly appreciate you saying that.

[geraldog]

Hi Sergio, I mailed you an open proposal for a Junior kernel-hacking position in this stellar team of yours. The end-goal (objective) is astounding and the initial goals for the objective are daunting to say the least!

[sbenitez]

Hi Geraldo! Thank you for the kind words, and for sending a message! The influx of responses has far exceeded any expectation I could have had, and I'm slowly but diligently responding as I go. Just wanted to let you know that I've received your message and I'm looking forward to chatting with you further. :)

[andreweggleston]

Woah, that sounds really cool! I did some research this summer on running programs in kernel space and tactics used to verify safety. This sounds right up my alley—-if I had any of the qualifications!

[sbenitez]

If you haven't already, please feel welcome to send us a message! Even if these specific opportunities might not make sense, if this is something you're potentially interested in working on, perhaps there are other opportunities to be found. If nothing else, we're always excited to talk to anyone who's as excited as we are about the general direction.

[zerr]

> We are VC-funded ($700k pre-seed) > >= $200k

Does this mean that right now you can only pay salaries for 2-3 devs for a year?

[lowkey_]

I'm in a similar boat right now as a founder -- likely to just hire 1 engineer at this stage, and have runway for 18-24 months at most.

If the hypothesis is correct and the mission is working, you go raise the next round in another 9-12 months.

[generatedtruth]

But why? We have the internet.