Skip to content
Back to jobs

Posted 1 year, 9 months ago

Formal

Founding Software Engineer (Compilers

Roles

Compensation

USD 200000

>= $200k + 2% equity

Tech stack

Location

REMOTE

Work setup

Full-time Contractor
Senior

Contact

work@formalstack.com, sergio@formalstack.com

Description

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're starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service. We are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs. There are two official roles, but we welcome conversations with anyone interested in joining the team.

Similar jobs

  • Loading similar jobs...