From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10641 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.science.mathematics.categories Subject: 2 post-doc openings in Kyoto & Tokyo, Japan Date: Sat, 15 Jan 2022 00:37:12 +0900 Message-ID: Reply-To: Ichiro Hasuo Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18152"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Sat Jan 15 21:09:55 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n8pN4-0004TZ-N4 for gsmc-categories@m.gmane-mx.org; Sat, 15 Jan 2022 21:09:54 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:41418) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1n8pN7-0006gB-Eh; Sat, 15 Jan 2022 16:09:57 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1n8pLX-0003Sd-P6 for categories-list@rr.mta.ca; Sat, 15 Jan 2022 16:08:19 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10641 Archived-At: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Highlights: - 2 post-docs, Kyoto & Tokyo, Japan - Kyoto: Atsushi Igarashi (Leader), Kohei Suenaga, Masaki Waga - Tokyo: Taro Sekiyama (Leader), Ichiro Hasuo, Shin-ya Katsumata - New horizon of formal verification, with new collaboration and new application goals - Ask us questions. Feel free to write directly to me =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D [Please distribute, apologies for multiple postings.] Dear All, We are seeking a few postdoc researchers, who works for a project =E2=80=9CZero-Trust IoT Systems by Collaboration of Formal Verification and System Software=E2=80=9D by Japan Science and Technology Agency. We'd be grateful if you could spread the word to interested candidates. * Project Description The project aims at the construction of formally verified secure IoT systems that follow the concept of =E2=80=9Czero trust architecture=E2=80= =9D, dubbed ZT-IoT systems. It consists of four research teams and two teams, led by Atsushi Igarashi, Kyoto University, Japan and Taro Sekiyama, National Institute of Informatics, Japan (NII) are investigating applications of formal verification or programming language techniques to the construction of secure IoT systems. The main research topic of Igarashi=E2=80=99s team is centered around the d= esign and theory of security policy engines for ZT-IoT systems, inclucing the design of a language to describe security policies and policy enforcement algorithms and the techniques for verifying policy enforcement algorithms against given security policies. Other team members are Kohei Suenaga and Masaki Waga at Kyoto University. The main research topic of Sekiyama=E2=80=99s team is centered around techn= iques for monitoring and intervention for ZT-IoT systems. Other team members include Ichiro Hasuo and Shin-ya Katsumata at NII. Although the two teams are based in different places, we collaborate closely with each other. The appointment can start as early as April 2022 (the starting date is negotiable). The contract will initially run until the end of March 2023, with the possibility of annual renewal until the end of the project, which is March 2027 at maximum. Salary will be about 360,000=E2=80=93550,000 JPY/month. Applicants should have a Ph.D in computer science or related fields, and have a strong background in formal verification and/or programming language theory. Due to the project=E2=80=99s nature, they are required to = have strong interests in applying theory to practice; they should also be (self-)motivated, dedicated, and able to work both independently and collaboratively. Strong communication skills in oral and written English are required. * Workplace Members of Igarashi=E2=80=99s team will work at Kyoto University, Kyoto, Ja= pan and members of Sekiyama=E2=80=99s team will work at NII, Tokyo, Japan. (Living costs in Japan are not very high nowadays. An estimate is found her= e https://www.internations.org/go/moving-to-japan/living/the-cost-of-living-i= n-japan#:~:text=3DA%20single%20person%20living%20in,will%20see%20that%20num= ber%20tripled and we find rent can be cheaper than the cited amount.) * Applications and inquiries Inquiries can be sent to application-zt-iot [at] fos.kuis.kyoto-u.ac.jp, with the subject CREST Job Inquiry. Feel free to ask us any questions on relevance, topics, compensation, etc. We will reply when we see enough relevance. Applications should be made electronically via the following JREC-IN Portal web sites. NII: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3D3&ln=3D1&id=3DD122010021&l= n_jor=3D1 Kyoto: https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3D3&ln=3D1&id=3DD121122219&l= n_jor=3D1 Please upload a pdf including - your brief CV, - short description of research interests (can be very informal and short), - the list of papers (a dblp or Google scholar link will do, for example), - a couple of representative papers (in pdf), and - (preferably) the contact of two references. We will contact you for further material and interview, provided that we find sufficient relevance in your application. Starting dates are negotiable. The positions will remain open until filled. Many thanks, Taro. =3D=3D=3D=3D=3D=3D Ichiro Hasuo Associate 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/ ]