この求人について
最先端のAI研究のために、Lean 4で高度な数学の証明を形式化して、時給最大$200を得られます。リモートで柔軟、本格的な数学者向けの...
プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。
alignerr · ソフトウェアエンジニアリング
Lean 4 証明エンジニア - 数学形式化
Alignerr
この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。 元のページを見る