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