求人公募情報閲覧
勤務地 : Hokuriku and Koshinetsu district - Ishikawa
公開開始日 : 2026/02/18
Open Positions for One Researcher at Japan Advanced Institute of Science and Technology (JAIST)
D126021071
Japan Advanced Institute of Science and Technology
研究分野 : Informatics - Mathematical informatics | Informatics - Software | Informatics - Intelligent informatics | Informatics - Computational science
Researcher/Postdoc level : Contract employee - Nontenured - Non-tenure track - Probationary period present
業務内容
-
募集の背景、プロジェクトの説明
Open positions for two researchers at Japan Advanced Institute of Science and Technology (JAIST)
https://www.jaist.ac.jp/project/crest_fmap/en/
The researchers will be involved in the research project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science and Technology Agency. -
仕事内容・職務内容
The researchers will study formal methods and verification tools for next-generation automotive systems.
Expertise in formal methods and verification/testing techniques (in the sense of software engineering) is required. -
配属部署
Existing departments
Aoki, Ishii, or Tomita Research Group, Next-generation Digital Infrastructure Research Area, Graduate School of Advanced Science and Technology
職種
- Researcher/Postdoc level
研究分野
- Informatics - Mathematical informatics
- Informatics - Software
- Informatics - Intelligent informatics
- Informatics - Computational science
給与
-
Annual Salary : 4 million yen ~
The annual salary system will be applied. Your salary is determined on the basis of your educational background and job experience, etc. in accordance with the JAIST rules.
Monthly wage salary (1/12 of annual salary amount) and various allowances are paid.
勤務時間
-
Working hours :08:30-17:15
Break time :12:00-13:00
Holidays : Saturdays and Sundays, National holidays, Year-end and New Year holidays (from December 29 to January 3), Anniversary of the founding of JAIST (October 1), Annual paid leave is available after 6 months from the starting date of your employment, in case that you attend 80% of all your working days. Special leave (paid or unpaid) is available, if applicable.
Overtime and other explanations : Presence of overtime and Holiday work may occur.
募集要項
応募資格
-
応募に必要な学歴・学位
Ph.D. / Doctor
-
業務における経験
Expertise in one or more among formal methods, verification, and testing. PhD degree in computer science or related fields.
雇用形態
-
Contract employee
契約期間
-
Nontenured - Non-tenure track
One fiscal year (Apr. to Mar.), with possible extension until March 31, 2029.
*Renewal/nonrenewal of the contract will be judged by researcher’s progress and performance at work by the end of the first contract.Probationary period present
6 months from the starting date of employment
勤務地
- 〒923-1292 Ishikawa 1-1 Asahidai, Nomi
待遇
-
各種制度
Transportation expenses : available (Commuting allowance will be provided if the employee satisfies the condition. (the commuting distance is more than 2km, and uses either public transportation, car or both) (Max : ¥55,000 / month) )
Retirement age : available
Others : Housing allowance will be provided if the employee satisfies the condition. (rent exceeding 16,000 yen per month) (Max : ¥28,000 / month)
-
加入保険
Employees' Health Insurance : available
Employees' Pension Insurance : available
Worker's accident insurance : available
Employment insurance : available
応募上の配慮
-
面接実施に関しての配慮（海外など遠方にお住まいの方、他）
You can request online interview.
採用人数
-
求人内容補足説明
As soon as possible
2 person(s)
募集期間
-
2026/02/18~2026/07/31 Deadline for receipt
Application invitation is open until the position is filled.
応募方法
-
応募書類
Application Form : Online Submission , MailingOther online application forms
(1)Curriculum Vitae
(2)Publication list
(3)Summary of your past research and future prospects (one page in A4 or in letter size)
(4)Possible starting date
(5)Names and contact addresses of two (or more) references
(6)Your full contact address including e-mail address
Application materials should be sent via email or post to the contact address below. -
応募書類の提出方法(郵送書類)
〒923-1292 Ishikawa 1-1 Asahidai, Nomi
Toshiaki Aoki, ProfessorNext-generation Digital Infrastructure Research Area Graduate School of Advanced Science and Technology Japan Advanced Institute of Science and Technology (JAIST)
※(at)を@に変更して送信してください。
選考・結果通知
-
選考内容
①After document screening, the shortlisted candidates will be invited for interviews.
②Any travel expenses for the interviews must be paid by the applicants. -
結果通知方法
The result will be notified by e-mail, etc.
連絡先
Japan Advanced Institute of Science and Technology
Aoki, Ishii, or Tomita Research Group, Next-generation Digital Infrastructure Research Area, Graduate School of Advanced Science and Technology
Toshiaki Aoki
0761511239
fmap-contact(at)ml.jaist.ac.jp
※(at)を@に変更して送信してください。
備考
In case of commuting by car, parking fee for municipal parking lot next to JAIST must be paid by oneself (¥1,045 / month, ¥10,450 / annual contract).
