Posted 7 months, 1 week ago
Roles
Founding Software Engineer (Compilers Networking)Compensation Summary
>= $200k + 2% equity
Locations
REMOTE
Contacts
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
-
Google
We're looking for a mid-level engineer with an interest in building highly-scalable, customer-facing infrastructure that loves getting things done. Th...
-
Prophet Town LLC
I’m the founder, trying to do “enlightened business.” We are a small, worker-first, fully-remote, SF-based, boutique indie tech agency. Our leadership...
-
Stackbit
Stackbit is a developer-first site builder that makes modern web available and usable for everyone. We're rethinking how to build, edit and even host ...
-
Sorry for the vague description but I can tell you more about the product we're building when you apply. Hopefully I can attract you in a sufficient w...
-
Stealth Security Startup
Seed Round Funding from Top VC's (Accel, Sequoia, Google) We’re building sophisticated systems to track and interconnect “badness on the internet.” We...
Create your own personalized Job Alert