Programming Languages Researcher (Research Coding Tasks)

Paid, remote contract work turning published programming languages research into coding tasks for frontier AI agents. For PhD-level researchers and research engineers who publish and ship code. Domain: Programming Languages (compilers, type systems, program synthesis, verification and SAT/SMT solving) Requirements Experience: published research with released code in programming languages Education: PhD in CS or a related field, completed or in progress The work You start from a recent paper with released code, ideally your own. You remove the code that implements the paper's core contribution and package the rest as a task where an AI agent must rebuild it and beat the authors' results on the paper's own benchmarks. You write the task statement, define held-out evaluation workloads and per-metric pass thresholds, and supply a hidden reference solution plus a second solution showing the bar can be beaten. Later, you review agent attempts on your task. Pay $80/hr. Each task takes a few hours. Application process Candidates who meet the requirements and provide the requested materials will be prioritised for review. As part of this process we conduct thorough background checks. Please apply only if you meet these requirements.