We are looking for a Founding Software Engineer to work on compilers and programming languages. The role involves building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We are starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service.
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 are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs.
