助教（数理情報学専攻数理情報モデル論講座）を公募します。（応募締切延長 2020年8月31日）