Job opening: compiling to categories

I have a job opening to work closely with me (at Target Digital) on the GHC plugin described in the paper *Compiling to Categories* http://conal.net/papers/compiling-to-categories as well as on applications, including machine learning. I’m especially looking for someone used to working inside of GHC and/or on GHC plugins. Mathematically oriented, solid background in programming language theory, denotationally inclined. Remote work is perfectly fine (and is what I do). – Conal