Position opening for Postdoctoral Researchers in Japan Advanced Institute of Science andTechnology (JAIST)
Position: Researcher
Working place: Aoki, Ishii, or Tomita Research Group, Next-generation Digital Infrastructure ResearchArea, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science andTechnology (1-1, Asahidai, Nomi, Ishikawa)Research: The researcher will be involved in the research project “Formal Methods and Verification
Tools for Next-generation Automotive System Platforms” supported by CREST, Japan Science andTechnology Agency.
Requirements: Expertise in one or more among formal methods, verification, and testing. PhD degreein computer science or related fields.
Starting date: As soon as possible
Contract: 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 workby the end of the first contract.
Working days and hours:
Working days: Mondays – Fridays
Start time: 8:30, Finish time: 17:15 (Break time: 12:00 – 13:00)
Days off: Saturdays and Sundays, National holidays, Year-end and New Year holidays (fromDecember 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 casethat you attend 80% of all your working days. Special leave (paid or unpaid) is available, if applicable.
Presence of overtime and Holiday work may occur.
Salary:(1) The annual salary system will be applied. Your salary is determined on the basis of youreducational background and job experience, etc. in accordance with the JAIST rules.
Monthly wage salary (1/12 of annual salary amount) and various allowances (see below) arepaid.
(2) 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
JPY / month)(3) Housing allowance will be provided if the employee satisfies the condition. (rent exceeding
16,000 yen per month) (Max: 28,000 JPY / month)(4) Employee shall join: Employment insurance, Health insurance and Employee’s and pension
insurance.
Probation: 6 months from the starting date of employment
Application materials:(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.
Deadline: Application invitation is open until the position is filled.
Selection procedures:(1) After document screening, the shortlisted candidates will be invited for interviews.
*You can request online interview.
(2) Any travel expenses for the interviews must be paid by the applicants.
Additional information: In case of commuting by car, parking fee for municipal parking lot next to JAIST
must be paid by oneself (1,045 JPY / month, 10,450 JPY / annual contract).

Contact:
For more details in the research project, please contact:
Toshiaki Aoki, Professor
Next-generation Digital Infrastructure Research Area
Graduate School of Advanced Science and Technology
Japan Advanced Institute of Science and Technology (JAIST)
1-1, Asahidai, Nomi, Ishikawa 923-1292, Japan
Tel: +81-761-51- 1239, E-mail: fmap-contact@ml.jaist.ac.jp
Web page: https://www.jaist.ac.jp/project/crest_fmap/en/