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…

We’re pushing limits of Low Code, applied to Data. We work in Scala for Spark. Now that Snowflake, Databricks are established in cloud, we’re looking to win tooling layer.

Matrix AI is looking for a software engineer with experience with Haskell and Type Theory and interested in building a compiler for a type-safe domain-specific language targeting cloud orchestration, composition and infrastructure algebra. It allows…

Offchain Labs, Inc. is a venture funded New York based startup, building the Arbitrum platform to unlock the full potential of smart contracts, making them private, cheap, and easy for developers. Our working prototype of Arbitrum runs on top of Eth…