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…