この求人について
形式数学のフロンティアを押し広げる仕事で報酬を得られます — AIが検証できる範囲に挑むLeanの証明を書きます。完全リモートで、高度に専門的な仕事です。...
プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。
alignerr · STEM（科学・技術・工学・数学）
数学形式化スペシャリスト（Lean／形式証明システム）
Alignerr
この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。 元のページを見る