Posted 1 week, 4 days ago
Roles
Software Engineer Staff Software Engineer Formal Verification Engineer Formal Methods PhD InternCompensation Summary
$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.
Description
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 and a certifying compiler. Goals include an alternative to eBPF and building the world’s first serverless networking infrastructure. VC-funded with runway for multiple years; team includes PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo.
Similar Jobs
Create your own personalized Job Alert