The IOHK Plutus Team, which works on a Haskell-based platform for contracts on the Cardano blockchain, is looking for new team members: https://iohk.io/careers/#op-341518-functional-compiler-engineer See also Phil Wadler’s blog post: http://wadler.blogspot.com/2019/08/iohk-is-hiring.html A core component of the Plutus Platform is a GHC plugin that translates GHC Core to the on-chain Plutus Core language. A central part of the underlying transformation scheme is described in https://iohk.io/research/library/#unraveling-recursion-compiling-an-ir-with-... Manuel