この求人について
職務名：プリンシパル・リサーチサイエンティスト（計算機科学／計算物理学）
雇用形態：業務委託（柔軟、パートタイムまたはフルタイム）
勤務地：リモート
micro1では、計算理論とAIの接点にあるお客様の高度なプロジェクトに貢献していただく、プリンシパル・リサーチサイエンティスト（計算機科学／計算物理学）を募集しています。この職務では、ご自身の専門知識を活かして、次世代AIシステムのトレーニングに貢献していただきます。高品質で実世界に即したインプットを通じて、モデルの学習、推論、パフォーマンスのあり方を形づくることになります。AIの事前経験は必要ありません。重要なのはご自身の専門知識です。最先端のAIモデルやエージェントとともに、未解決問題に取り組み、研究の方向性を導き、科学的ブレークスルーの基準を定義していただきます。ご自身の洞察と厳密なアプローチは、サブ分野における真の進歩とは何かを見定めるうえで、重要な役割を果たします。
業務範囲
- 検証可能な進展を示すことのできる、基礎的な未解決問題、理論上の限界、またはシミュレーション上の課題を特定し、定式化し、明確に言語化します。
- 証明やアルゴリズムから数値実験、高性能シミュレーションに至るまで、複数ステップの研究プロセスにおいてAIモデルとエージェントを導きます。
- 証明の検証、計算による再現、形式手法を活用して結果を批判的に評価・検証し、モデルが生成する推論の限界を明確にします。
- 研究成果の新規性、正確性、重要性を、現行の文献や確立された成果と比較して評価し、文書化します。
- 研究上の試み、部分的な解法、観察されたモデルの限界や失敗パターンを詳述した、明確で簡潔な研究メモを作成します。
- 研究の方向性について助言し、AIモデルや計算ツールによる前進に適した、有望なサブ分野や未解決問題を推奨します。
歓迎要件
- 計算機科学または数理物理学／計算物理学における、7 - 10年以上の活発な研究経験と、学術的貢献の豊富な実績。
- 主要な賞、学会フェローシップ、トップクラスの学術イベントでの基調講演・招待講演など、分野レベルでの評価。
- ご自身の分野の主要な学会・ジャーナルにおける一貫した論文発表の実績があり、直近1年以内に最新の成果が発表されていること。
- 名のある未解決問題を解決した、または同分野の研究者に採用される影響力のある概念を導入した実績。
- 計算研究手法（シミュレーション、数値解析、アルゴリズム実装、および／または高性能計算環境）に関する深い実務経験。
- ご自身の直接の専門領域外の技術的な成果物であっても、厳密に検討できる実証された能力。
- プログラム委員会や編集委員会での経験、または形式的な研究ツール（例：Lean、Coq、SAT/SMTソルバー）の使用経験は大きな強みとなります。また、未解決問題の整理や、高度なAIシステムを用いた研究の公開実績も同様に強みとなります。