MixRank (YC S11) is a fully-remote, profitable, employee-owned data startup processing petabytes of data monthly with customers including Google, Amazon, Facebook, Intel, and Adobe. They are hiring continuously for software engineering roles and des…

Formal is a VC-funded 5-person team building a new serverless computing stack using formal methods to create low-overhead OS interfaces and formally verified isolation without containers or VMs. They are hiring multiple remote, full-time positions f…

At Formal, we’re rethinking serverless from scratch: we’re 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, …

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…

Pulumi builds the tools for the cloud that developers deserve.

Work on a small team within a large company. We're developing software tools for hardware engineering. The ideal candidates are: * Software engineers (C++/Haskell/Compilers) interested in learning about hardware design * Hardware engineers with br…