Posted 6 days, 13 hours ago
Roles
Software Engineer Staff Software Engineer Formal Verification Engineer Formal Methods PhD InternCompensation Summary
$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
Locations
Remote
Description
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 compilers, programming languages, verification, and networking: Staff Software Engineer (Compilers, PL, Verification), Formal Verification Engineer (Formal Methods, PL), Software Engineer (Compilers, PL), and a Formal Methods PhD Intern. Apply via their job board.
Similar Jobs
Create your own personalized Job Alert