categories - Category Theory list
 help / color / mirror / Atom feed
* Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT
@ 2022-06-02  0:25 Ichiro Hasuo
  0 siblings, 0 replies; only message in thread
From: Ichiro Hasuo @ 2022-06-02  0:25 UTC (permalink / raw)
  To: categories

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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-06-02  0:25 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-06-02  0:25 Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT Ichiro Hasuo

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).