Archived on 02 July, 2025 (11 days ago)
F
Formal is hiring a
Formal Verification Engineer
About 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.
Job Description
We are looking for a formal verification engineer with deep and practical experience with Rocq. The role involves building low overhead, formally verified isolation primitives, without containers or VMs, and taking all of this to the network with a new programming language to replace eBPF and enable truly serverless networking infrastructure.Remote
Remote Conditions
/
Salary
150K
to
200K
Benefits
/
Tech Tags
Formal VerificationRocq
Equity Offered
Date Listed
01 May, 2025 (2 months ago)