この求人について
機会の概要
Handshakeは、柔軟なパートタイムの契約業務を通じてAI研究を支援する、経験豊富な数学者および研究科学者を募集しています。これは従来型の仕事ではありません。純粋数学または応用数学における実務経験を活かして、AIが生成したコンテンツを評価し、現役の数学者のようにAIが推論できるよう支援するフィードバックを提供していただきます。
これは、現在の職務と並行して取り組める、継続的なプロジェクトベースの機会です。
業務内容
専門知識を活かして、実際の証明、形式化、計算ワークフローに基づいた専門家レベルの数学問題やシナリオを作成する AIが生成した回答について、技術的な正確性、厳密性、および実際の業務の進め方との整合性をレビュー・評価する AIモデルの性能向上に役立てるため、構造化された書面によるフィードバックを提供する 決まったスケジュールや最低時間数の要件はなく、自分のペースでタスクを完了する 当社の研究チームと共同で論文を発表できる可能性があります。
応募資格
理想的な候補者は、以下の3つすべてを満たす方です：
学位 — 数学（純粋または応用）の博士号 サブドメインの深さ — 以下のいずれかの分野における実証された専門性：
証明と形式手法（Lean、Coq、Isabelle） 記号計算（SageMath、Mathematica）、最適化、数値解析 代数、位相幾何学/幾何学、数論、解析学、組み合わせ論などの主要なサブフィールド 上記の2つの応募資格のうち少なくとも3つを満たす候補者も歓迎します。
追加の応募資格（必須ではありませんが、応募書類の強化になります）
定理証明器および記号計算ソフトウェアの習熟 証明の形式化、または現在のAIモデルが対応できる限界付近の問題に取り組んだ経験
全応募者に必須
米国での就労許可を有すること 優れた文章コミュニケーション能力と細部への注意力 複雑な数学的概念を明確に説明する能力 リモートかつ非同期の環境で独立して働く能力