この求人について
Lean 4で高度な数学を形式化して、時給最大$200を得られます — 形式検証の最前線で働き、AI推論の未来を形づくります。...
プラットフォームは短い概要のみを提供しています。要件の全文は掲載元の求人をお読みください。
研究者 - Lean 4 および形式証明システム
この求人は自動翻訳されています。応募は掲載元のプラットフォームが受け付けます。応募前に原文の要件をご確認ください。 元のページを見る
- 応募者の所在国
- 所在地要件の記載なし
掲載元は、応募者が居住または勤務できる国を記載していません。掲載元の求人をご確認ください。リモート勤務や求人に記載された勤務地は応募資格の根拠にはなりません。
- 勤務形態
- リモート
- 求人に記載された勤務地
- Dallas
- 初回掲載
- 記載なし
- 最終確認
- 2026-11-03 12:00 UTC