Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT

Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT

[Ichiro Hasuo]

[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/ ]