CRESTプロジェクト

当研究室は JST・CREST の研究課題「次世代車載基盤システムのための形式手法と検証ツールの創出」に参加し，自動運転向け車載基盤システム (とくに制御システム) の検証に取り組んでいます．

参考: https://www.jaist.ac.jp/project/crest_fmap/

研究テーマの例:

• 自動運転車制御システムのモデル化・検証
• SMTモデル検査手法の開発・ツール化

大学・産業界から本プロジェクトにご参加いただけるメンバーを募集しています．

• 学生 (博士課程)
  • https://jstorage.box.com/s/vvx3sxk0uocudba2xlnh2snywe7m18rc
  • 研究生や修士課程学生も募集しています．
• ポスドク (〜5年間)
  • https://www.jaist.ac.jp/top/data/r-20231107.pdf
• 共同研究者

研究室の学生指導方針

• 現状学生数が少ないこともあり，丁寧な指導を実施します．週1回程度の打合せ等．
• 学生部屋は自由で国際的な雰囲気．コアタイムはありません．
• 理論面の構築とソフトウェア実装をともなう実験の両方に取り組みます．
• 修士学生は修了までに国内研究会や国際会議での発表を目指します．

見学方法

• 入学希望者: お気軽にメールで問い合わせてください．随時オンライン面談可能．
  • 当方の専門分野について少し調べ，どこに興味をもったかをメールに書いてください．
    • くわしく調べる必要はありません (専門外でも熱意があれば受け入れます)．
  • オープンキャンパスやいつでもどこでも進学相談会の利用も検討してください．
  • 詳しくは大学HPの入学案内を参照．
    
    
• JAIST生: メールで問い合わせてください (居室へいきなり来るのはおすすめしない)．随時面談可能．

科目等履修生，研究生等

• 入学希望者向けの制度の利用をご検討ください．
  • 科目等履修生: たとえば社会人学生になる方が入学前に一部単位修得することが可能．
  • 特別学修生: 高専生向けインターンシップ．
  • 他．
• くわしくは https://www.jaist.ac.jp/education/non-degree/ をご参照ください．

経済支援等

• 大学HPをご参照ください．
• 博士後期過程ではRA/UA雇用による支援が可能．