Ishikawa Lab. 日本語 >

This page describes open positions. Description on the NII internship program is at the bottom of this page.

Open Positions


Our research group welcomes researchers, programmers, and students interested in the following positions.

Work Topics

We have been running two large projects. Both projects focus on dependability of emerging smart systems, especially, autonomous driving systems, with different focuses.

For these projects, experts on the following and relevant topics are highly welcome.

Application procedure

Applications should be sent to f-ishikawa < a > with the subject “TrarSE Group Application.” Please include the following information.

You do not need to clarify or specify which project you belong to.

We will contact you for further material, provided that we find sufficient relevance in your application.

More detail

There is a dedicated page for open positions in ERATO-MMSD Project and many points other than the research theme are common in MIRAI-eAI Project.

Notable points are:

For further information and the latest status of open positions, please inquire by email (f-ishikawa < a >

NII Internship

This is a scheme by NII only for its partner universities. The detailed information of the call for intern students can be found on the NII web site and in the partner universities.

The current call includes the following topics in our group:

Automated Testing and Debugging of Machine Learning-based Systems
Investigates how to test and debug emerging machine learning-based systems, such as autonomous driving systems, by adapting techniques for software programs such as search-based testing, fault localization, and automated repair
Automated Testing and Debugging of Autonomous Driving Systems
Investigates how to test and debug complex cyber-physical systesms, such as autonomous driving systems
Safety Analysis and Verification for Cyber-Physical Systems
Investigates how to model and verify smart cyber-physical systems, such as autonomous driving systems, by combining semi-formal and formal techniques (refinement-based proofs, probabilistic analysis, etc.)

This call is part of an internship program by NII (National Institute of Informatics, Japan). Calls are basically made twice a year by NII. First please check the general information by NII

Intern students are expected to learn further knowledge and skills through collaborative activities for promoting our research activities and/or exploring further research topic. Depending on the status of the intern students (e.g., already have active master/phd topics or not), actual work in the internship can be determined flexibly through discussion. The outputs are typically joint papers and/or implemented software, but depend on the topic and the duration of the internship.

Specifically, the following two directions exist to determine the work at the internship.

You can check research introduction and record including the publications. However, the information is often not the latest and it should be much easier to just ask me and discuss together, clarifying your interest and expertise.

In addition to interactions with the supervisor himself, intern students will join various activities in related research groups. We have intensitve project-level activities with researchers/practitioners in our projects including ERATO-MMSD Project and MIRAI-eAI Project.