メーリングリスト詳細 : 2020.05.25 16:29:16
投稿日 2020.05.25 16:29:16
タイトル 研究員・プログラマ・インターン募集(国立情報学研究所 石川研究室)
本文 皆様

国立情報学研究所石川です.

JST ERATO-MMSDプロジェクトにおける
研究員・プログラマ・インターン募集についてご案内いたします.
(研究員は特任准教授・特任助教の称号付与も含む)

蓮尾メタ数理システムデザインプロジェクト(MMSD)においては,
自動運転システムに代表される物理情報システムの安全性・信頼性に関する
研究開発を基礎から応用まで幅広く取り組んでいます.
https://group-mmm.org/eratommsd/

本プロジェクトのグループ3においては,多数の企業と連携しつつ,
特に最適化・機械学習とソフトウェア工学の連携・融合の観点から
以下のようなトピックに取り組んでいます.
(グループ3:インテリジェンス協働形式手法グループ)

- 自動テスト生成(最適化を用いたサーチベースドテスティングなど)
- バグ局所化・自動バグ修正
- 最適化・機械学習技術の設計やテストへの活用
- 機械学習を用いたシステムや自動運転システムのための
  安全性論証,リスク分析

最近の取り組みの一例は以下をご参照下さい.
https://www.nii.ac.jp/news/release/2020/0124.html
https://www.nii.ac.jp/news/release/2020/0323.html

上で挙げたトピック例に限らず,自身の強みを活かしつつ,
自動運転システムや機械学習工学など
新たな領域での工学技術や方法論確立に取り組む方を歓迎します.
理論に近い部分の研究開発,企業連携を軸とした研究開発など,
多くのサブプロジェクトが走っています.
現在の困難な状況も踏まえ,業務内容・形態の希望についてはご相談下さい.

グループ3に限らずプロジェクトとしての
募集説明・詳細は以下に掲載しています(英語).
https://group-mmm.org/eratommsd/openpositions/


-------------------------
国立情報学研究所 アーキテクチャ科学研究系
特任准教授 Paolo Arcaini
准教授 石川 冬樹

お問い合わせ先: f-ishikawa@nii.ac.jp

人工知能学会TOP