Hi @io_jeremy, do you think IOHK would be interested in proof engineers in the long run? I am a PhD student doing PL research (Type Theory and Parallelism) and I got quite fond of proving stuff in Coq and Idris.

Either way, it is nice to work as a Haskell developer (been working part-time since July doing Haskell and Elm). Those are really cool positions.