Dear Under-graduate course students,
We would like to invite you to enroll on the master course in School of Information Science, JAIST, with financial support.
[Field]
Formal methods and program analysis for automotive systems. The details will be found at the end.
The financial support below is provided because you join projects and study these topics at JAIST. Note that you can not change the topics to study after entering JAIST.
[About JAIST]
JAIST consists of graduate schools only, and 30% of students are from abroad. At JAIST, half of lectures are in English, and it is possible to study only with English (although we encourage you to study Japanese). There are additional language lectures; enhance English writing and presentation, and learn Japanese. For further information, check JAIST homepage, either “google JAIST”, or http://www.jaist.ac.jp/index-e.html
[Support]
The monthly financial support will be slightly more than 140000JPY as a payment for working as a laboratory assistant.(This is enough to live after paying tuition fees.)
[Deadline for registration]
Applicants can send the electronic documents (brief CV, score certificate, and TOEFL/TOEIC score (if obtained)) to Prof. Toshiaki Aoki <toshiaki@jaist.ac.jp> by March 10, 2017.
[Interview]
The day of the interview will be announced later. It is supposed to be held in March, 2017.
At the interview, applicants should bring
– brief CV (including subjects they are good at)
– (copy of) score certificate
– TOEFL/TOEIC score (if obtained).
Note that the TOEFL/TOEIC score is necessary for the entrance examination of JAIST.
[Schedule of study]
Oct.2017-Sep.2019: Regular master course.
You can be a research student before Oct. 2017 if you want. In this case, the financial support is covered during the period of the research student as well.
[Screening fee/Entrance fee/Tuition fee] You need to pay the followings during Oct.2017-Sep.2019 as a master course student
– tuition for master course: 535,800JPY (per year)
– screening fee for master course; 30,000JPY(document/recommendation based)
– addmission fee for master course: 282,000JPY (for Oct.2017 addmission)
The support above is enough to compensate both these fees and living expenses.
[Living expenses]
We believe the support above is enough for your living expenses in JAIST. JAIST also provides a dormitory. You can find estimation of the living expenses in the following URL.
http://www.jaist.ac.jp/english/i_students/cost.html
[Possiblity for further study in phd course] If you are an excellent student, there is a possibility for further 3 years support from JAIST (DRF program).
We hope to see you in JAIST!
Toshiaki Aoki (Professor, School of Information Science, JAIST)
==========================================================
The details of the project. You can choose one of the followings.
develop a program analysis tool.
The tool aims at checking whether programs conform to coding rules or not. Micro processors like ARM and RH series provide many kinds of coding rules that programs have to follow. On the other hand, the current tools deal with very limited ones. Thus, in this project, we expect that you develop a program analysis tool which deals with them. Note that you need a skill to develop a program analysis tool based on a compiler framework such as LLVM to choose this project.
survery and integrate the existing program analysis tools.
There are many program analysis tools such as syntax checkers, source code model checkers and static analysis tools. We think that those tools allow us to check the coding rules as mentioned in the above. One tool can do for not all but for some rules, and the other for the other some. Thus, in this project, you first survery the existing tools and clarify properties and rules which can be checked by them. Then, we expect that you propose a method to integrate results obtained by the tools in an appropriate form.
formalize coding rules for micro processors.
Coding rules are described in a reference manual of micro processor which consists of more than one thousand pages. Such coding rules are hard to mechanically process (that is, deal with them in computer) because they are described in natural language. Thus, in this project, we expect that you propose a language for formally representing such coding rules. The language should be user-friendly, that is, engineers can easily use it to describe the coding rules. In addition, descriptions witten in the language should be transformable into the other descriptions fed to the existing tools.
==========================================================
Toshiaki Aoki <toshiaki@jaist.ac.jp> <toshiaki@computer.org> Security and Networks Field, School of Information Science, JAIST -Japan Advanced Institute of Science and Technology-
Office: IS-II 7F Voice: +81-761-51-1239 Fax: +81-761-51-1149