Archived on 07 March, 2025 (4 months ago)
F
Formal is hiring a
Founding Software Engineer
Job Description
We are hiring founding-level software engineers in compilers, programming languages, & verification. The role involves working on OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We’re starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service.Remote
Remote Conditions
:null
Salary
200K
Benefits
:null
Tech Tags
Equity Offered
Senior Role
Date Listed
02 January, 2025 (6 months ago)
Formal
We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs.
This job is archived, but you can still apply.
Formal has 3 other jobs listed