Detailed information
Work location : Hokuriku and Koshinetsu district - Ishikawa
Date of publication : 2024/12/11
Open Positions for One Researcher at Japan Advanced Institute of Science and Technology (JAIST)
D124120850
Japan Advanced Institute of Science and Technology
Research field : Informatics - Mathematical informatics | Informatics - Software | Informatics - Intelligent informatics | Informatics - Computational science
Researcher/Postdoc level : Contract employee - Nontenured - Non-tenure track - Probationary period present
Job description
-
Background of the recruitment and description of the project
Open positions for one researcher 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. -
Work content and job description
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. -
Assigned department
Existing departments
Aoki, Ishii, or Tomita Research Group, Next-generation Digital Infrastructure Research Area, Graduate School of Advanced Science and Technology
Job type
- Researcher/Postdoc level
Research field
- Informatics - Mathematical informatics
- Informatics - Software
- Informatics - Intelligent informatics
- Informatics - Computational science
Wages
-
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
-
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.
Application requirements
Qualifications
-
Education and Degree Requirements
Ph.D. / Doctor
-
Work experience
Expertise in one or more among formal methods, verification, and testing. PhD degree in computer science or related fields.
Employment Type
-
Contract employee
Contract period
-
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
Work location
- 923-1292 Ishikawa 1-1 Asahidai, Nomi
Compensation
-
Various systems
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)
-
Insurance
Employees' Health Insurance : available
Employees' Pension Insurance : available
Worker's accident insurance : available
Employment insurance : available
Application Considerations
-
Considerations for conducting interviews (e.g., those who live far away, such as overseas)
You can request online interview.
Number of hired
-
Job content supplemental explanation
As soon as possible
1 person(s)
Application period
-
2024/12/11~2025/04/30 Deadline for receipt
Application invitation is open until the position is filled.
Application method
-
Attached documents
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. -
Application document submission method (physically mailed documents)
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)
URL of this job posting
Selection / Notification of result
-
Selection
①After document screening, the shortlisted candidates will be invited for interviews.
②Any travel expenses for the interviews must be paid by the applicants. -
Notification of result
The result will be notified by e-mail, etc.
Contact details
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@ml.jaist.ac.jp
Notes
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).
