Terms of servicePrivacy policy

Posted on May 1, 15:2713 viewed

Formal Verification Engineer

United States of America
Remote
>= $150k - $200k + 0.5% equity
Visit company website

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.