Programming Languages Researcher (Research Coding Tasks)

Paid, remote contract work with AfterQuery, building and reviewing technical tasks that help test AI models in programming languages. 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

Hands-on research coding in your own area, close to the work you already do. Each task is self-contained, and the project lead walks you through the full scope and a worked example once you're onboarded. Work is asynchronous, so you can fit it around your own research.

Pay

$200 per approved task, about 4 hours each ($50/hr equivalent).

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.

Required qualifications

• Published research at venues such as PLDI, POPL, OOPSLA, ICFP or CAV, or comparable
• Released research code (GitHub or artifact link)
• PhD in computer science or a related field, completed or in progress
• Meets the experience and education bar described in Full Description

Why apply

• Hands-on research coding in your own field
• Fully remote, asynchronous and flexible
• $200 per approved task, about 4 hours each