JAIST (Japan Institute of Science and Technology) ฝากประชาสัมพันธ์มาด้าน การฝึกงาน (Internship program)
Dear undergraduate students at Chulalongkorn University
We would like to invite you to experience an international internship program in the School of Information Science and the School of Transdisciplinary Science, JAIST with financial support.
The financial support is around 160,000 yen/student (80,000 yen per month).
It will be not paid immediately when you arrive here but during your stay. You are supposed to pay all expenses, such as airfares, accommodation fees, living costs, etc. needed to join the program. The amount of the financial support is fixed. Whatever exceeds the amount of money, if any, would be your own charges. We provide financial support to two students for the School of Information Science and two students for the School of Transdisciplinary Science at most.
We also accept students without financial support. In this case, you can join the internship if a professor of a laboratory accepts it.
The interview for the screening of the internship will be held around the beginning or middle of Jan. 2024. Your transcript and CV are needed for the interview. Your CV is supposed to include three laboratory candidates in which you would like to be during the program. They should be submitted by Dec. 29(Fri), 2023 to ‘firstname.lastname@example.org’ AND ‘email@example.com’. You will be accepted if you pass the interview and one of the professors of the laboratories accepts your internship.
[Schedule of internship]
The internship period follows the conditions defined by Chulalongkorn University. It will be between the beginning of June to the end of August.
The students joining to the internship program can use our dormitory if there are vacancies. The rent of a single room in the dormitory is around 15,000 per month. Its details can be found on the home page of JAIST. If the dormitory is fully occupied, you may use an apartment room that JAIST prepares. The rent will be around 20,000 yen per month. In both cases, you may need to pay some amount of deposit when you enter the room. This will be returned when you leave the room if no problem. If both are unavailable, you need to find an apartment room. There is a real estate company that you can contact in English as you can see in the following URL (https://kanayama.biz/wp/inquiry/),
which manages apartments near JAIST.
The following laboratories can accept internship students, but, not limited to them. If you wish to join another laboratory, we will try to ask a professor in the laboratory. The list of laboratories can be found in ‘http://www.jaist.ac.jp/is/english/index.html’
for the School of Information Science and ‘http://www.jaist.ac.jp/profiles/kekka2_e.php?school=4’
for the School of Transdisciplinary Science.
***School of Information Science ***
– Mental Health Chatbot:
We aim to develop a mental health chatbot by utilizing a large language model. During this internship, you will learn how to use the large language model, explore prompt techniques for NLP applications, and eventually, propose a new method to integrate into the mental health
– Financial Natural Language Processing (NLP):
We are presently engaged in various financial NLP projects. The objective of this theme is to develop practical NLP applications in financial sectors. Examples include Stock Trading using News Sentiment, Portfolio Management, and Question Answering with the aid of Financial Knowledge Graphs.
Formal specification and verification of systems:
Among systems are concurrent systems, such as a shared-memory mutual exclusion protocol, distributed systems, such as a distributed snapshot protocol, security pro tools, such as TLS, post-quantum security protocols, such as post-quantum hybrid TLS, and quantum circuits, such as quantum teleportation protocol. Systems under specification and verification are not limited to the above-mentioned. CafeOBJ and Maude, algebraic specification languages/systems, are
[Yasuo Tan ]
Research on smart home services and service platforms: Research on various smart home services such as energy management, security, audiovisual, and health care, and service platforms to realize these services. Experimental houses that can be used for actual living are also available.
-Quantum Communications and Networks
A study of quantum teleportation as a promising way to send a reliable transfer of qubits between two distant nodes regardless of the nature of the highly lossy network connections.
– Optical Wireless Communication
The transmitted data is directly modulated onto the intensity of the light and transmitted through a wireless channel, which this trending technology is known as optical wireless communication or visible light communication.
– Knowledge Representation and Reasoning (KRR)
We investigate different formalisms for representing knowledge and their applications to explainable AI. Currently investigating formalisms include Description Logic, Argumentation, Ontology, and Knowledge Graph. We also investigate non-standard reasoning problems and proof procedures for these formalisms.
– Fair and Explainable Machine Learning (ML)
We study rigorous computer science techniques necessary for fair and explainable ML in addition to the performance of ML algorithms. We are attempting this issue in important areas of ML applications, such as, Natural Language Processing and Computer Vision.
– Integration of KRR and ML for Trustworthy AI
Combining aspects of KRR and ML have received a great deal of attention in recent years, either in the form of interaction between both paradigms or in the form of hybrid systems combining both components into one architecture, such as Argument Mining, Knowledge Graph Embedding, Ontology Learning, and Neuro-Symbolic Learning. Interested applicants may
check the website: www.jaist.ac.jp/~racharak/lab
for the mentoring policy of this laboratory.
– Introduction to Quantum Simulation for students majoring in different areas
Based In our educational experience for non-special students, we provide an introduction to the practical simulation exercises. Take a look at my published textbook on Amazon: https://amzn.asia/d/9DDyytp
-Study on applications of AI/ML to cybersecurity A survey will be conducted on the possible applications of AI/ML techniques to the cybersecurity domain. The design and implementation of solutions for specific cybersecurity issues are also within the scope of this topic.
– Mini-Batch K-Means Clustering: Students will delve into the world of machine learning by exploring the Mini-Batch K-Means clustering algorithm. This project involves implementing variants of the algorithm and analyzing the speed and the quality of the solution.
– Submodular Function Optimization: Submodular functions are prevalent in various domains like machine learning, computer vision, and network design. Students will begin by understanding the basics of submodular functions and then implement algorithms to optimize a submodular function.
1.Speech recognition and synthesis
Research and develop technologies that can listen and speak by way of automatic speech recognition (ASR) and text-to-speech synthesis (TTS). Possible research topics include multilingual/code-switching ASR & TTS, and incremental ASR & TTS.
2. Machine speech chain
The research focuses on integrating human speech perception & production behaviors, not only to provide technology that can listen and speak but also, to listen while speaking. Possible research topics include multilingual/multimodal speech chains, incremental speech chains, and speech entrainment.
3. Zero-resourced Speech Technology
Theresearch focuses on developing technologies that can learn a language like a toddler and gradually construct knowledge. Possible research topics include zero-resource speech processing, unsupervised/semi-supervised deep learning, knowledge representation & modeling.
The research focuses on human-like simultaneous speech interpretation that does not translate into text but directly from speech to speech, covering both linguistic and paralinguistic information. Possible research topics include direct speech translation, paralinguistic representation & translation.
***School of Transdisciplinary Science ***
Verification of an automated driving system platform. We are proposing formal methods to ensure the safety and reliability of automated driving system platforms. The formal methods consist of a formal specification language, a control specification language, and formal verification methods using these languages. In the internship, you are supposed to join our project and conduct some experiments using an automated driving system platform.
1) Soft robotics technology facilitating smart agriculture and Quality of Life
2) Tactile/Proximity sensing for safety control of collaborative robots
3) Event-based camera sensing for fast-tracking of objects
4) Bio-inspired swarm technology for navigation in narrow space.
– A study of natural language processing We develop a program to solve a task of natural language processing (NLP), such as paraphrase identification (to judge whether two sentences have the same meaning), textual entailment (to judge whether a sentence implies another sentence), natural language inference (to judge a semantic relation between two sentences), and so on. We apply machine learning, that is, we train a classifier or model to solve an NLP task from a corpus (a collection of texts).