alignerr · STEM（科学・技術・工学・数学）

数学形式化スペシャリスト

Alignerr

$50–$150/時間勤務地：Atlantaリモート所在地要件の記載なし

この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。元のページを見る

この求人について

最先端の数学の証明をLeanで形式化して、時給最大$150を得られます — AI推論のフロンティアを押し広げる仕事です。リモートで柔軟に働けます。...

プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。