CREST Project

We are participating in the JST/CREST research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” to work on the formal verification of automotive platforms (especially control systems) for autonomous driving.

Period: FY2023–FY2028 (5.5yrs)

Reference: https://www.jaist.ac.jp/project/crest_fmap/en/

Example topics:

• Modeling and verification of automotive control system.
• Development of SMT-based model checking methods and tools.

We are looking for members from academia and industries to join this project. If you are interested in Ishii’s group, please feel free to contact me at the email address below.

• Doctoral students
  • https://jstorage.box.com/s/dbjtirduh6p2hodfqevten4y6dendqx0
  • We are also looking for internship and master’s students.
• Postdocs
  • https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D124120850
• Research collaborators

Lab teaching policy

• The low student-teacher rate (relative to neighboring labs) provides careful guidance.
• The student room have a free and international atmosphere. Working hours are not controlled.
• Students will work on both theoretical aspects and experiments with software implementation.
• Master’s students are expected to make presentations at domestic and/or international conferences/workshops by graduation.

Contact

• Applicants for admission/internship: Please contact by email. Online interviews will be set up as needed.
  • Please check our research topics and describe your point of interest in the mail.
    • Exact matching of specialties is not required, if you are enthusiastic about studying.
  • See also https://www.jaist.ac.jp/english/admissions/.
    
    
• Students of JAIST: Please contact by email. We can have an interview as needed.

Internship

• For those who wish to apply for the master’s or doctoral program, internships are recommended.
  • Research student: for graduates of a university.
  • Visiting student: for undergraduate students.
  • etc.
• See https://www.jaist.ac.jp/english/education/non-degree/index.html for details.

Financial support

• See https://www.jaist.ac.jp/english/studentlife/support/scholarships.html.
• Support is available through RA/UA employment in the doctoral program.

Contact