教授，准教授，または講師（数理情報学専攻数理情報モデル論学講座）を公募します。（応募締切 2018年1月12日）