3 ms·

Formal | Founding Software Engineer (Compilers, Networking) | REMOTE | Full-Time | >= $200k + 2% equity We're rethinking the computing stack from the ground up

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 https://formalstack.com/jobs/09-2024/compilers.pdf - Kernel Networking - https://formalstack.com/jobs/09-2024/networking.pdf 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 https://formalstack.com

generatedtruth 2y ago
But why? We have the internet.
nhatcher 2y ago
Off topic, but since you are here, thanks for rocket.rs. Awesome project!
- sbenitez 2y ago
  Thank you! I truly appreciate you saying that.
andreweggleston 2y ago
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 2y ago
  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.
geraldog 2y ago
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 2y ago
  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. :)
  - geraldog 2y ago
    Thanks Sergio! :)
zerr 2y ago
> 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_ 2y ago
  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 2y ago

But why? We have the internet.

nhatcher 2y ago

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

sbenitez 2y ago
Thank you! I truly appreciate you saying that.

andreweggleston 2y ago

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 2y ago
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.

geraldog 2y ago

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 2y ago
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. :)
- geraldog 2y ago
  Thanks Sergio! :)

zerr 2y ago

> 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_ 2y ago
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.