View on Hacker News
Roles
Compensation
USD 100000 - 250000
$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
Tech stack
Location
Remote
Work setup
- Employment
- Full-time Employee
- Level
- Senior, Senior, Mid-level, Junior
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
-
Loading similar jobs...