OS interfaces Jobs - December 2025
Search by company, role, stack, location, salary signal, source, and work setup.
-
Formal
Software Engineer
Posted 8 months, 1 week 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