この求人について
職種名:リサーチサイエンティスト - コンピュータサイエンス・計算物理学
雇用形態:業務委託(柔軟、パートタイムまたはフルタイム)
勤務地:リモート
micro1では、お客様の影響力の大きい研究プロジェクトの推進を支援していただく、コンピュータサイエンスおよび計算物理学分野のリサーチサイエンティストを募集しています。この職務では、あなたの専門知識を活かして次世代のAIシステムのトレーニングに貢献していただきます。あなたの仕事は、質の高い実世界のインプットを通じて、モデルがどのように学び、推論し、パフォーマンスを発揮するかを形作ります。AIの経験は不要で、重要なのはあなたの分野の知識です。
業務内容
- 厳密な調査に値する、ご自身のサブ分野における未解決問題、新たな境界、または取り組み可能な研究課題を特定し、提案する。
- 最先端のAIモデルやエージェントを用いて、証明の試み、アルゴリズムの開発、または計算シミュレーションの実行といった、構造化された研究を行う。
- 証明の確認、数値結果の再現、または形式的ツールの活用によって、研究成果を体系的に検証する。
- 最近の文献や発表済みの成果と直接比較して、知見の新規性と正確性を評価する。
- 方法論、中間結果、直面した課題を、明確で詳細な書面の報告書として文書化する。
- 上級の研究専門家によるより深い探求に向けて、有望な新しい方向性や発見を強調して示す。
歓迎される資格・経験
- 研究における高度な立場:コンピュータサイエンスまたは数理物理学/計算物理学における、博士課程後期の学生、ポスドク研究者、またはキャリア初期の研究者(博士号取得後0–5年)。
- 主要な学会(例:STOC、FOCS、SODA、PLDI、SC)での最優秀論文賞や博士論文賞など、研究の卓越性が同分野のコミュニティから認められていること。
- 複数のトップカンファレンスの論文や、名前の付いた未解決問題に取り組む、または新たな概念を導入する最近の成果を含む、過去3年間の十分な発表実績。
- シミュレーション、数値解析、アルゴリズムの実装を含む、計算手法の実務上の専門知識。
- ご自身の専門分野の主要な学会で、査読者またはサブレビュアーを務めた経験があれば尚可。
- 学術的な研究において、最先端モデル、エージェント、または形式的な計算ツール(例:Lean、SAT/SMTソルバー)を活用してきた経歴。
- 現在取り組んでいる具体的な未解決問題を示した、公開済みのリサーチステートメントまたはホームページ。