Formal | Multiple Positions | REMOTE | Full-Time
Salary: $100k - $250k + Equity
About the Role
We’re rethinking serverless from scratch, building a new computing stack for instant, globally available, truly elastic, soundly isolated execution. We leverage formal methods and languages to build OS interfaces with low overhead, formally verified isolation without containers or VMs. Our immediate goal is a new programming language to replace eBPF and build the world's first serverless networking infrastructure.
We are a 5-person, VC-funded team with PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo.
Available Positions
We are currently hiring for the following four positions:
-
Staff Software Engineer: Compilers, Programming Languages, and Verification
- Salary: $175k - $250k + ≥ 0.4% equity
- Apply Here
-
Formal Verification Engineer: Formal Methods and Programming Languages
- Salary: $120k - $200k + ≥ 0.2% equity
- Apply Here
-
Software Engineer: Compilers and Programming Languages
- Salary: $100k - $175k + ≥ 0.1% equity
- Apply Here
-
Formal Methods PhD Intern: Formal Methods and Programming Languages
- Salary: $10k / month
- Apply Here
General Information
Please see general information.
Apply
Apply via our job board here.