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. Application should be done via the partner universities.

The current call includes the following topics in our group:

Generative AI for Trustworthy Software Engineering

Investigates use of generative AI such as ChatGPT for enhancing engineering techniques for trustworth software systems such as testing, formal methods, and inspection. We specifically focus on formal or semi-formal modeling languages and use of logical verifiers for more rigorous checking and repair of deliverables in the software engineering process.

Testing and Trust Exploration for AI Systems

Investigates methods for testing and quality/trust evaluation on generative AI systems, especially customized ones for domain-specific use cases such as RAG-based systems. We also investigate how to test and debug deep neural networks by adapting software engineering techniques such as search-based testing, fault localization, and automated repair, especially in the context of safety-critical systems such as automated driving.

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.

• Option 1: Investigating Your Own Research with Different People and Environment
  Intern students may bring their own studies to exchange knowledge and ideas of each other to explore further research directions (often in the case of PhD students).
• Option 2: Joining Our Project
  Intern students may choose tasks in existing activities, typically software development tasks (often in the case of master students). We have a variety of tasks, from mathematical and theoretical methods to middleware and GUI tools. It can be a development-oriented project (focusing more on completeness and usability) or a research-oriented project (focusing also on essential novelty and scientific reliability).

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.