OS interfaces Jobs - December 2025
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Formal
Software Engineer
Posted 6 months, 3 weeks 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 focused on …
Roles
Tech stack
Location
Remote
Compensation
$100k - $250k base ranges by role plus equity; specific role ranges: Staff Software Engineer $175k-$250k + >=0.4% equity, Formal Verification Engineer $120k-$200k + >=0.2% equity, Software Engineer $100k-$175k + >=0.1% equity, Formal Methods PhD Intern $10k/month