求人公募情報閲覧

New 募集中

更新日 : 2025年06月09日

募集終了日 : 2025年08月31日

勤務地 : 近畿 - 京都府

公開開始日 : 2025年06月09日

特定研究員(特定有期雇用職員)

D125060517

国立大学

京都大学

研究分野 : 情報通信 - ソフトウェア | 情報通信 - 情報セキュリティ

研究員・ポスドク相当 : その他 - 任期あり - テニュアトラック以外 - 試用期間あり

業務内容

募集の背景、プロジェクトの説明

We are seeking a few postdoc researchers, who work for a project “Zero-Trust IoT Systems by Collaboration of Formal Verification and System Software” by Japan Science and Technology Agency.

The project aims at the construction of formally verified secure IoT systems that follow the concept of “zero trust architecture”, 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’s team is centered around the design 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.
配属部署

既設部署

大学院情報学研究科情報学専攻コンピュータソフトウェア分野

職種

研究員・ポスドク相当

研究分野

情報通信 - ソフトウェア
情報通信 - 情報セキュリティ

給与

年収 : 400万円 ~ 700万円

国立大学法人京都大学の支給基準に基づき，38万円/月〜55万円/月の範囲で能力・経験により決定（年俸制）

勤務時間

就業時間 : 08:30-17:15

休憩時間 : 12:00-13:00

休日 : 休日：土・日曜日，祝日，年末年始，創立記念日および夏季一斉休業日

時間外勤務、その他説明 : 専門業務型裁量労働制

募集要項

応募資格

応募に必要な学歴・学位

博士

雇用形態

その他

特定研究員

契約期間

任期あり - テニュアトラック以外

任期2026年3月まで．満了後，更新する場合あり．ただし最長で令和9年3月31日まで

試用期間あり

試用期間6ヶ月

勤務地

〒606-8501 京都府京都市左京区吉田本町京都大学

待遇

加入保険

健康保険 : 文部科学省共済組合

厚生年金保険 : あり

労災保険 : あり

雇用保険 : あり
就業場所における受動喫煙防止のための取組事項

京都大学では，すべてのキャンパスにおいて，屋内での喫煙を禁止し，屋外では，喫煙場所に指定された場所を除き，喫煙を禁止するなど，受動喫煙の防止を図っています．

応募上の配慮

採用人数

1名

求人内容補足説明

[仕事内容（採用後の業務・職務内容、担当科目等）]
・ゼロトラストIoTシステムのためのセキュリティポリシエンジン記述言語およびセキュリティポリシエンジンの形式検証に関する研究

[着任時期（採用日、着任日等）]
令和7年8月1日以降のなるべく早い時期

参考文献: T. Inaba, Y. Ishikawa, A. Igarashi and T. Sekiyama, "Rabbit: A Language to Model and Verify Data Flow in Networked Systems," 2024 International Symposium on Networks, Computers and Communications (ISNCC), Washington DC, DC, USA, 2024, pp. 1-8, doi: 10.1109/ISNCC62547.2024.10758938.

募集期間

2025年06月09日~2025年08月31日必着

適任者の採用が決まり次第、募集を締め切ります。

応募方法

応募書類

履歴書 : 電子応募
写真添付，メールアドレスを含む連絡先を明記，様式自由

業績リスト : 電子応募
(該当する情報の載った DBLP や Google Scholar の URL でも可)

その他の電子応募書類
・これまでの研究の内容と成果についての簡単な紹介
・(可能であれば)応募者についての所見を求めうる方2名の氏名と連絡先
・主要論文（数篇）

JREC-IN Portal Web応募

可

電子メール応募

不可

求人機関Web応募

不可

公募のURL

選考・結果通知

選考内容

書類審査を行います．必要に応じ面接を行うことがありますが，その場合は別途連絡します．面接は対面もしくはオンラインで行う予定です．
結果通知方法

[応募書類、応募(提出)方法（郵送・メール添付・Web応募利用の詳細など）、送付先（住所・メールアドレス・Web応募URL等）]
JREC-IN Portal Web応募が可能です。以下の必要書類を1つのファイルにまとめてアップロードしてください。

[選考内容（面接・選考の場所、選考方法、採否の決定など）]
書類審査を行います．必要に応じ面接を行うことがありますが，その場合は別途連絡します．面接は対面もしくはオンラインで行う予定です．

[結果通知方法、応募書類の返却可否等]
・結果は電子メイルで通知します．
・応募書類は返却しません．

[問い合わせ連絡先（担当者所属、役職、氏名、機関のメールアドレス及び、電話番号）]
〒606−8501 京都市左京区吉田本町
京都大学　大学院情報学研究科　通信情報システム専攻　五十嵐淳
Email: application-zt-iot@fos.kuis.kyoto-u.ac.jp