Expert Work · Project
<p>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.</p> <p><strong>Domain:</strong> Programming Languages (compilers, type systems, program synthesis, verification and SAT/SMT
THE OPPORTUNITY
<p>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.</p> <p><strong>Domain:</strong> Programming Languages (compilers, type systems, program synthesis, verification and SAT/SMT
<p>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.</p>
<p><strong>Domain:</strong> Programming Languages (compilers, type systems, program synthesis, verification and SAT/SMT solving)</p>
<p><strong>Requirements</strong></p>
<ul>
<li>Experience: published research with released code in programming languages</li>
<li>Education: PhD in CS or a related field, completed or in progress</li>
</ul>
<p><strong>The work</strong></p>
Role details are copied from the AfterQuery listing and can change. Check the platform before you apply.
KEEP EXPLORING
Related roles across other platforms, selected by field, title and skills.