View on Hacker News
Roles
Compensation
USD 100000 - 250000
$100k - $250k + Equity
Tech stack
Location
REMOTE
Work setup
- Employment
- Full-time
- Level
- Senior
Contact
work at formalstack dot com
Description
At Formal, we’re rethinking serverless from scratch: we’re building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is to write a new programming language to replace eBPF and build the world's first serverless networking infrastructure.
Similar jobs
-
Loading similar jobs...