大学院生募集

待遇:

  • NII/総研大所属
  • 5年一貫博士課程.修士後の3年次編入も可
  • 修士相当の時期から経済的支援あり.10万円弱/月が基本,審査が通れば2倍に(2021/05現在,在籍中の学生さんは皆適用中)
  • 学振DCが通ればさらに楽に(蓮尾は学生のとき落ちましたが,かなりの数の学生さんが通っています)

環境:

  • 海外出身のメンバーが多く研究活動は全て英語.最初は慣れなくてもみんなどんどん慣れていきます
  • 研究室は40名体制.学生・研究員・(特任)助教以上のバランス良し

研究内容:

  • ソフトウェア研究は何でも.理論的極北(圏論的意味論)から,モデル検査アルゴリズム,定理証明,さらに機械学習やテストまで.
  • 機械学習やテストにおいては,「どのようにして論理的構造を切り出して活用するか?」に特に注目します.
  • 自動運転などの実応用も進行中.同時に「理論だけしたい,応用などしたくない」というスタイルも(協働ができてアウトプットが出るのであれば)全然OK
  • 研究紹介チュートリアル: 動画
  • 一般向け講演(研究室の雰囲気が伝わると思っている):動画

メッセージ:

  • プロの研究者として働いてもらう環境です.(なので待遇を最初に書いた)
  • 大学の研究室と,研究所の研究室は,雰囲気がだいぶちがうものです.研究所系のビッグラボのスケール感とスピード感,ぜひ体験してみてください.

応募するには:

  • まず大学院説明会においでください
  • 蓮尾を指導教員に志望される学生さんは,必ず出願前に連絡ください(早めがよいです)
  • 今M2の人も3年時編入できます