[Please distribute, apologies for multiple postings.] Post-doc opening: https://hackmd.io/@aigarashi/RecruitingPD4ZTIoT Highlights: - Post-doc opening in Kyoto, an old capital in Japan - Under supervision of Atsushi Igarashi, Kyoto U - Collaboration with Kohei Suenaga, Masaki Waga (Kyoto U) and Taro Sekiyama, Ichiro Hasuo, Shin-ya Katsumata, and a post-doc (NII, Tokyo) - Will work on the design of novel programming abstraction towards secure IoT systems - Especially suited for PL researchers who pursue new application fields and a new theory developed accordingly - Salary: approx. 360,000–550,000 JPY/month (2600-3970 EUR/month) - Appointment until March 2027 (maximum) Further details are found at https://hackmd.io/@aigarashi/RecruitingPD4ZTIoT Please feel free to ask us questions. You can write directly to me < i.hasuo@acm.org>. All the best, Ichiro ====== Ichiro Hasuo Professor, National Institute of Informatics i.hasuo@acm.org Secretaries: hasuolab-secr@nii.ac.jp http://group-mmm.org/~ichiro/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]