'Formal Methods PhD Intern' jobs

Formal Stack

Software Engineer

Posted 4 weeks ago

Building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. Designing and building a production programming language with complete mechanized formal specifications an…

Roles

Software Engineer Staff Software Engineer Formal Verification Engineer Formal Methods PhD Intern

Tech stack

serverless networking compilers eBPF alternative formal methods mechanized formal specifications programming languages formal verification certifying compiler

Compensation

$100k - $250k + Equity (overall range listed). Specific 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.