コンテンツへスキップ
ERATO MMSD

ERATO MMSD

ERATO Metamathematics for Systems Design Project

ERATO 蓮尾メタ数理システムデザインプロジェクト

このページは JST サーバ内の 公式ウェブページの補遺情報をまとめたものです．

Language

  • English
  • 日本語
  • 中文
  • トップページ
  • プロジェクトについて
  • メンバー
    • グループ0：メタ理論的統合グループ
    • グループ１：ヘテロジニアス形式手法グループ
    • グループ２： 産業応用グループ
    • グループ３： インテリジェンス協働形式手法グループ
    • 以前のメンバー
  • 採用情報
    • 博士研究員・特任教員募集
    • Scientific Programmer 募集
    • 大学院生募集
  • 論文
  • 学位論文
  • イベント
    • シンポジウム： 高信頼自動運転システムのための先進的研究
    • ERATO MMSD 自動車産業応用セミナー（メンバーのみ）
  • アクセス・連絡先

検索

最近の投稿

  • 採用情報
  • 自動運転における重大な問題をシミュレーションで検出する技術を開発
    ～問題が発生するかを探り、起こりうる問題だけを効率的に自動探索～
  • ニュースリリース：信頼性が高いガスタービンのシステム設計を自動で効率良く発見する技術を開発～ブラックボックス最適化での論理仕様に着目、企業の実製品の設計プロセスに応用
  • SSBSE 2021 Distinguished paper award受賞
  • ニュースリリース：計測誤差があるセンサーを使っても安全に動くよう制御ソフトウェア を自動で変換する手法を開発～「誤差はないものとする」理想上設計 で現実 を安全に～

アーカイブ

  • 2022年3月 (2)
  • 2021年11月 (1)
  • 2021年10月 (4)
  • 2021年6月 (1)
  • 2021年3月 (2)
  • 2020年10月 (2)
  • 2020年9月 (2)
  • 2020年3月 (3)
  • 2019年11月 (6)
  • 2019年10月 (2)
  • 2019年8月 (2)
  • 2019年5月 (4)
  • 2019年4月 (3)
  • 2019年3月 (7)
  • 2018年12月 (3)

採用情報

(2022-06-02) 以下のポジションで研究員・プログラマーを募集しています．ぜひ国内からの応募もご検討ください．

  • Scientific programmer
  • 博士研究員・特任教員
  • 博士研究員（CREST ZT-IoT プロジェクト，京都大学勤務）

Proudly powered by WordPress