大学院生募集

待遇：

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

環境：

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

研究内容：

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

メッセージ：

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

応募するには：

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