<div dir="ltr"><div><p style="margin-bottom:1em;font-family:serif;color:rgb(0,0,0);font-size:medium">I have a job opening to work closely with me (at Target Digital) on the GHC plugin described in the paper <a href="http://conal.net/papers/compiling-to-categories" title="paper by Conal Elliott (2017)" style="color:rgb(153,153,204)"><em>Compiling to Categories</em></a> 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.</p><p style="margin-bottom:1em;font-family:serif;color:rgb(0,0,0);font-size:medium">Remote work is perfectly fine (and is what I do).</p><p style="margin-bottom:1em;font-family:serif;color:rgb(0,0,0);font-size:medium">– Conal</p></div></div>