Formal Jobs

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 th…