Posted 2 weeks, 3 days ago
Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions f…
Remote
Create your own personalized Job Alert
