Matrix AI

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 developers/operators to express services and the composition of services through the protocol that the services speak. The target users are not meant to be experts at type systems, and is intended to exhibit forms of gradual typing. The primary value of this language is where its type system helps enforce correctness of composition of distributed services. While also enabling the ability to derive run-time checks from the protocol specifications. The language is intended to compile into instructions sent to our Emergence system which sends events and instructions to distributed nodes in order to execute and bring live the infrastructure being specified.