Please state the location and include REMOTE for remote work, REMOTE (US)
or similar if the country is restricted, and ONSITE when remote work is
not an option.
Please only post if you personally are part of the hiring company—no
recruiting firms or job boards. One post per company. If it isn't a household name,
explain what your company does.
Commenters: please don't reply to job posts to complain about
something. It's off topic here.
Readers: please only email if you are personally interested in the job.
Searchers: try http://nchelluri.github.io/hnjobs/, https://hnresumetojobs.com,
https://hnhired.fly.dev, https://kennytilton.github.io/whoishiring/, https://hnjobs.emilburzo.com.
Don't miss these other fine threads:
Who wants to be hired? https://news.ycombinator.com/item?id=41425908
Freelancer? Seeking freelancer? https://news.ycombinator.com/item?id=41425909
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