この求人について
高度な数学の専門知識を、AI研究の最前線で活かしましょう — Lean 4で証明を形式化します。完全リモートで、並外れて高い報酬です。...
プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。
数学者 – 基礎論と形式証明（AIトレーニング）
この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。 元のページを見る
- 応募者の所在国
- 所在地要件の記載なし
掲載元は、応募者が居住または勤務できる国を記載していません。掲載元の求人をご確認ください。リモート勤務や求人に記載された勤務地は応募資格の根拠にはなりません。
- 勤務形態
- リモート
- 求人に記載された勤務地
- New York, United States
- 初回掲載
- 記載なし
- 最終確認
- 2026-11-03 15:00 UTC