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…