この求人について
Turingについて： Turingはカリフォルニア州サンフランシスコに拠点を置く、フロンティアAIラボ向けの世界有数のリサーチアクセラレーターであり、高度なAIシステムを導入するグローバル企業の信頼できるパートナーです。Turingは2つの方法でお客様を支援しています。1つ目は、高品質なデータ、高度なトレーニングパイプライン、そしてコーディング、推論、STEM、多言語対応、マルチモーダリティ、エージェントを専門とするトップクラスのAI研究者によって、最先端の研究を加速すること。2つ目は、その専門知識を活かして、企業がAIをプルーフ・オブ・コンセプトから独自のインテリジェンスへと発展させ、確実に動作し、測定可能な、高度な数学的推論、問題解決、計算論的思考、明確な文章コミュニケーションを適用して大規模言語モデルを改善・評価するプロジェクトに関するインパクト、そしてP&Lに持続的な成果をもたらすシステムを実現できるよう支援することです。
職務概要。
- このポジションでは、高度な数学的推論、問題解決、計算論的思考、明確な文章コミュニケーションを活かして、大規模言語モデルを改善・評価するプロジェクトに取り組みます。
- 理想的な候補者は、特に工学系入試で求められるレベル、ならびに大学院または博士課程レベルのプログラムで求められるレベルの、数学の確かな基礎を備えています。
- 複雑な数学の概念を、シンプルで明確な説明に分解し、効率的に作業できる必要があります。
- このポジションには、正確なクローズドエンド型のプロンプトを設計し、信頼性の高いPythonコードを書き、数値解を検証し、明確な根拠を示す計算系のプロジェクトも含まれます。
- これらのプロジェクトを通じて、AIを活用してより優れたアナリストになる方法も学べます。AIファーストの世界で、キャリアを将来にわたって通用するものにするチャンスです！
日々の業務内容：
- 特に複数ステップ、抽象的、証明ベースの設定において、大規模言語モデルの推論の限界を試す、独自で難易度の高い数学の問題を設計する。
- 問題を自力で解き、明確な根拠を伴う、詳細で論理的に構成された解答を書く。
- モデルが生成した解答をレビューし、数学的な誤りや欠けている議論を特定し、的確なフィードバック、アノテーション、訂正を提供する。
- 学部初年次レベルから博士課程レベルまでのトピックに及ぶ数学のカリキュラムに基づいた、新しい評価ベンチマークの定義に貢献する。
- 承認された科学計算ライブラリを使用して、計算タスクのPythonベースの解答を開発し、検証する。
- Leanを使った定理証明タスクに取り組む。これには、数学の問題と証明を形式言語に翻訳することや、形式的な証明が正しくコンパイルされることの検証が含まれる。
応募要件：
- 分析力：優れたリサーチ力と分析力
- フィードバック力：建設的なフィードバックと詳細なアノテーションを提供できる能力。
- 創造的思考：創造的思考力と水平思考力。
- コミュニケーション：リモート環境における、優れた構造的なコミュニケーション力と協調性。
- 自立性：自発的に行動でき、リモート環境で自律的に作業できること。
- 技術環境：良好なインターネット接続環境を備えたデスクトップPCまたはノートPC。
歓迎要件：
- 数学、応用数学、統計学、または関連分野で修士/博士/ポスドクの課程に取り組んでいる候補者も応募の対象となり、積極的な応募をお待ちしています。
- 構造的かつ論理的なアプローチで、複雑な数学の問題を分析し、解く能力。
- 平易な言葉、図解、例を用いて、数学の概念を明確に説明できる能力。
Turingでフリーランスとして働く特典：
- 完全リモート環境で働けます。
- 大手LLM企業との最先端AIプロジェクトに携わる機会があります。
- 成果とプロジェクトのニーズに応じて、契約が延長される可能性があります。
募集条件：
- 必要なコミットメント：1日あたり最低4時間、週あたり最低20時間、PSTとの重複時間は4時間。（稼働時間の選択肢は3つあります：週20時間、週30時間、または週40時間）
- 契約形態：業務委託契約/フリーランス（医療補償・有給休暇なし）