Job Information
Organisation/Company: Nagoya University
Research Field: Computer science, Information science, Technology, Engineering
Researcher Profile: Leading Researcher (R4)
Application Deadline: 30 Sep 2026 - 23:59 (UTC)
Country: Japan
Type of Contract: Permanent
Job Status: Not Applicable
Hours Per Week: See description
Is the job funded through the EU Research Framework Programme? Not funded by a EU programme
Is the Job related to staff position within a Research Infrastructure? No
Offer Description
Background of the recruitment and description of the project
The rapid development of generative AI is drastically changing information processing. On the other hand, we do not fully understand or control the technology, and investigating reliable AI is a significant subject today. To bring AI to a reliable scientific basis, we need to ask again what the correctness of information and computation is, and to practically implement the fundamental achievements that have been learned and accumulated in computer science. In the Department of Computing and Software Systems, research and education are conducted to develop technologies that improve the convenience, safety, and comfort of an informationalized society. The Software Science and Technology Unit focuses on technologies such as model checking, program semantics, parallel and reversible computation, and an algebraic approach to formal language theory. The research in the unit should answer practical questions about AI-generated program code, play a key role in complementing today's generative AI, and contribute to the reconstruction of our understanding of information and computation in this AI era. We would like to recruit a professor with a solid background in theoretical and fundamental research on information systems, a passion and a plan for applying these results to enhance AI today, and the ability to lead research and education in the field.
Work content and job description
Immediately after hiring:
- 1) To lead research on formal methods for software (formal proof, theory of software, concurrent and reversible computations, mathematical logic, etc.) and its application to AI
- 2) To actively participate in the management of the Graduate School of Informatics and contribute to achieving the mission of the Graduate School.
- 3) To teach and supervise undergraduate and postgraduate students.
Scope of change: duties designated by the Tokai National Higher Education and Research System
Assigned department
Existing departments
Work location
Address: 464-8601 Aichi Furo-cho, Chikusa-ku, Nagoya, Aichi
Number of hired
Number of hired: 1 person(s)
Starting date: 2027-04-01 00:00:00
Job content supplemental explanation: [Starting date] April 1, 2027, or later at the earliest convenience
Additional Information
Benefits
Compensation
Annual salary: 7 million yen - 12 million yen
Wages description: annual salary system is applied, details are in the pay regulation of Tokai National Higher Education and Research System
Working hours: 08:45-18:00
Break time: 12:00-13:00
Holidays: Saturday, Sunday, national holidays, December 29-January 3
Overtime and other explanations: details are stated in the employment rule of Tokai National Higher Education and Research System; discretionary labor system is applied
Employment type: Regular employee
Contract period: Tenured
Probationary period: Probationary period present
Probationary period description: 6 months from the date of employment
Various systems
- Pay increase system: available
- Retirement allowances: available
- Transportation expenses: available
- Retirement age: available
Insurance
- Employees' Health Insurance: available
- Employees' Pension Insurance: available
- Worker's accident insurance: available
- Employment insurance: available
Measures for preventing passive smoking at the workplace
smoking prohibited in the campus (except designated smoking area)
Work Location(s)
Number of offers available: 1
Company/Institute: Nagoya University
Country: Japan
City: Aichi
Contact
City: Aichi