助教の公募：東京科学大学 情報理工学院 数理・計算科学系

[Yasuhiko Minamide]

皆様、

東京科学大学 情報理工学院 数理・計算科学系では，以下の通り助教1名の公募を開始しました．
関係者への周知ならびに適任者の応募をよろしくお願いできれば幸いです．
概要を以下に載せますが，詳細は下記のリンク先を参照するようお願い致します．

募集人員：助教 1名
専門分野：ソフトウェア検証、プログラミング言語、定理証明・証明支援系、形式言語理論、数理論理学、アルゴリズム理論、等
採用予定日：令和8年12月1日以降，できるだけ早い時期
応募締切：令和8年9月7日（月）必着
勤務地：大岡山キャンパス 東京都目黒区大岡山2-12-1

JREC-IN： https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D126062407&ln=0

大学掲載の公募情報：
https://science-tokyo.app.box.com/file/2321850928297?s=96uiollfdjd9dp11qrsurihp13vp6bqb

よろしくお願いいたします．

南出 靖彦（東京科学大学）
---------
南出 靖彦
東京科学大学 数理・計算科学系
〒152-8552 東京都目黒区大岡山2-12-1 W8-53
mina...@c.titech.ac.jp
http://sv.c.titech.ac.jp/minamide/