View on Hacker News
Roles
Compensation
200000
>= $200k + 0.5% equity
Tech stack
Location
REMOTE
Work setup
- Employment
- Full-time Contractor
- Level
- Senior
Contact
work at formalstack dot com
Description
We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We're starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service. We are a 4-person, VC-funded team with PhDs from Stanford, UW, and OSU, advised by professors from MIT and UWaterloo. We are hiring founding-level software engineers in compilers, programming languages, & verification.
Similar jobs
-
Loading similar jobs...