View on Hacker News
Roles
Compensation
USD 150000 - 200000
>= $150k - $200k + 0.5% equity
Tech stack
Location
REMOTE
Work setup
- Employment
- Full-time
- Level
- Mid-level
Contact
work@formalstack.com
Description
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.
Similar jobs
-
Loading similar jobs...