ANN: IOHK is looking for Functional Compiler Engineers

[Manuel M T Chakravarty]

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-recursion-to-system-f

Manuel