Formal

We're building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We’re building low overhead, formally verified isolation primitives, without containers or VMs. We're taking all of this to the network with new a programming language to replace eBPF and enable truly serverless networking infrastructure. We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo. We are looking for a formal verification engineer with deep and practical experience with Rocq.