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.

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.

• Doctoral students
  • https://jstorage.box.com/s/vvx3sxk0uocudba2xlnh2snywe7m18rc
  • We are also looking for internship and master’s students.
• Postdocs (for up to five years)
  • https://www.jaist.ac.jp/top/data/r-20231107e.pdf
• 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.