I have a job opening to work closely with me (at Target Digital) on the GHC plugin described in the paper 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