東京大学の小林と申します。
先月アナウンスさせていただきました特任研究員の募集ですが、締め切りを11/15まで 延長させていただきます。ご興味がおありの方はまずご一報いただければ幸いです。 なお、採用された方には、科研費基盤研究S「AI時代を見据えたプログラム検証技術」（2020-2024年度, 研究代表者：小林） のプロジェクトについていただくことを予定しております。
小林
2020年9月18日(金) 9:34 Naoki Kobayashi koba@g.ecc.u-tokyo.ac.jp:
東京大学の小林と申します。
以下の条件で、研究員の募集を致します。お近くに興味のありそうな方が いらっしゃいましたらご紹介いただければ幸いです。
過去に高階モデル検査のプロジェクトについて研究員の募集をしましたが、 今回は高階モデル検査に限らないプログラム検証手法全般、および機械学習との 相互の応用も含む、広めのプロジェクト設定になっております。 また、このタイミングですと、最長4年（評価を経ての延長込み）の任期に なりますので、プロジェクト雇用のポスドクとしては比較的落ち着いて研究に 取り組んでいただくことができます。また、ご本人の能力・経験次第では特任 助教または特任講師での採用または途中での職位変更も可能です。
小林直樹 東京大学大学院情報理工学系研究科 コンピュータ科学専攻 教授
================ 着任時期：2021年1月から4月の間（数ヵ月の前後は応相談）
任期：2年（ただし業績評価を経て最長2025年3月まで延長可能）
職名：特任研究員，特任助教，または特任講師 （ただし、特任助教および特任講師は、教育能力等についての審査もあり）
勤務場所：東京大学大学院情報理工学系研究科コンピュータ科学専攻 （ただし、本人の希望によっては，共同研究者の所属である京都大学への配置も可能）
給与：月額38-55万円 （大学の規定および本人の実績による．細かい条件は応相談.）
研究テーマ： 高階モデル検査をはじめとするプログラム検証手法、 機械学習技術のプログラム検証への応用、および 機械学習を組み込んだシステムの検証
条件： - 着任時に博士号を取得していること
- 理論計算機科学全般または機械学習技術に明るいこと． - 以下の中の１つ以上のトピックに詳しくプログラミング能力が高いか、２つ以上のトピックに詳しいこと
モデル検査（特にソフトウェアモデル検査） 型システム プログラム意味論 プログラム解析・検証・変換 オートマトンと形式言語理論 自動定理証明計算量理論 機械学習
応募方法： 10月20日までに、小林（koba@is.s.u-tokyo.ac.jp)まで、CV(略歴、 業績等を記載したもの）および抱負（1頁程度）、照会先情報（2名程度）をお送りください。
問い合わせ先： koba@is.s.u-tokyo.ac.jp =====================
-- Naoki Kobayashi Department of Computer Science Graduate School of Information Science and Technology The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113-0033 Japan email: koba@is.s.u-tokyo.ac.jp