eBPF alternative Jobs - May 2026

Sort by

Search

Location

Has Compensation Summary

Has Contact Info

Remote

Onsite

Tech Stack

Title

Reset

Formal Stack

Posted 1 week, 4 days 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 specifi…

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