OS分野の特任助教・特任研究員の公募

概要

東京大学品川研究室では、オペレーティングシステムや仮想化技術、セキュリティに関する5年半の研究プロジェクトを推進する特任助教及び特任研究員（ポスドク）を募集しています。

概略

  • 職名: 特任助教及び特任研究員（特定有期雇用教職員）
  • 所属: 東京大学情報基盤センター（東京都文京区）
  • 任期: 2023年4月1日以降随時〜2024年3月31日、2028年3月31日まで1年ごとに更新の可能性あり（最大5年）
  • 給与: 月額50万円〜100万円
  • 応募〆切: 2023年6月30日
  • 応募方法: JREC-IN
  • 詳細: PDF

詳細

東京大学品川研究室では、オペレーティングシステムや仮想化技術、セキュリティに関する最先端の低レイヤシステムソフトウェア研究を実施しており、OSDIやASPLOS、VEEといった国際会議に論文を発表しています。 品川准教授は東京大学情報基盤センターに所属しているため、本ポジションも同組織の所属となりますが、品川准教授は大学院情報理工学系研究科システム情報学専攻も兼担しており、同専攻から修士と博士の学生を受け入れて研究室を運営しています。

本ポジションに着任した方には、品川准教授が研究代表者を務める科学技術振興機構（JST）戦略的創造研究推進事業（CREST） の研究課題「隔離実行と形式検証による総合的セキュリティ基盤システム」を推進してもらいます。 実施期間は2022年10月から2028年3月までの5年半の予定ですが、本ポジションの契約更新は本課題の継続実施が前提となります。 本研究プロジェクトでは、様々なレベル（プロセス、OS、仮想マシン、TEE、ハードウェアなど）で新しい隔離実行環境を研究開発するほか、それらの隔離実行環境間のインターフェイス検証をおこないます。また、ファジングや機械学習などの先端技術を利用して新しいセキュリティ機能を実現します。 また、クラウドからエッジまでまたがる包括的なセキュリティポリシーの記述・実施を可能にする総合的セキュリティセンターを実現します。

従って、本ポジションへの応募者には以下のことを求めます。

  1. 着任時までに博士の学位を有すること
  2. システムソフトウェアに関連する分野で第一著者の論文があること
  3. 低レイヤシステムソフトウェア（OS カーネルや仮想化ソフトウェア）に関する研究開発経験を有すること
  4. システム系プログラミング言語（例：C, C++, Rust）及び CPU アーキテクチャ（例：x86, Arm, RISC-V）を使いこなす能力を有すること

本ポジションに着任した方は概ね JST CREST 研究のプロジェクトに専念してもらいますが、エフォート率20%の範囲内で独自の研究を実施することも可能です。特任助教と特任研究員の違いは、教育義務の有無となります。特任助教には、研究室の学生への教育をおこなっていただくほか、一部の講義を担当することも推奨される可能性があります。

我々と一緒に最先端のシステムソフトウェア研究を推進して、トップカンファレンスに論文が採択されることを目指す意欲のある人の応募をお待ちしております。