Vacant job

University of Gothenburg meets society's challenges with diverse knowledge. With 58,000 students and 6,800 employees, the university is a large and inspiring workplace. Strong research and attractive education programs attract researchers and students from around the world. With new knowledge and perspectives, the University of Gothenburg contributes to a better future.

The Department of Computer Science and Engineering has an international profile with approximately 300 employees from over 40 different countries. The department is a joint department with both the University of Gothenburg and Chalmers University of Technology as main employers. The research position is located within the Data Science and AI division, with the University of Gothenburg as the employer.

Project Information:

We are looking for a researcher for the ERC project NextReason, focusing on areas such as AI and reasoning, theorem proving, autoformalization, and conjecture generation. The position will focus on the development of neuro-symbolic methods that integrate learning, reasoning, conjectures, and theory exploration.

Responsibilities

The position is a full-time employment for 360 days at the Department of Computer Science and Engineering.

The successful candidate will conduct independent and collaborative research within the NextReason project in the chosen area. Responsibilities include the development of new AI/ATP/ITP/formalization methods, publishing results at appropriate conferences and in journals, contributing to software and datasets, and supervising students.

Qualifications

To be eligible for employment as a researcher, the applicant must have a PhD in a relevant field as specified in the job advertisement, such as computer science or mathematics, or a foreign degree assessed as equivalent to a PhD.

In the assessment of applicants, particular emphasis will be placed on research ability within the relevant research area.

The applicant should be able to work both independently and in teams. The ability to collaborate and take initiative are important qualities, along with attention to detail and an interest in research.

While both Swedish and English are used in undergraduate education, English is the working language for research at the Department of Computer Science and Engineering. Therefore, fluent English, both oral and written, is mandatory for all candidates.

Employment

Employment type: Fixed-term employment, 360 days

Scope: 100% of full-time

Location: Department of Computer Science and Engineering, Data Science and AI division

Start date: As soon as possible after agreement, but no earlier than August 17

Contact Information for the Position

If you have questions about the project or the employment, you are welcome to contact Josef Urban: [email protected].

If you have questions about the recruitment process, you are welcome to contact Jenny Lind: [email protected]

Trade Unions

You can find trade union representatives at the University of Gothenburg here: https://www.gu.se/jobba-hos-oss/sa-blir-du-en-av-oss#kollektivavtal-och-fackliga-foretradare (https://www.gu.se/jobba-hos-oss/sa-blir-du-en-av-oss#kollektivavtal-och-fackliga-foretradare)

Application

You apply for the position via the University of Gothenburg's recruitment portal by clicking the "Apply" button. As an applicant, you are responsible for ensuring that the application is complete in accordance with the advertisement and that it is submitted to the university no later than the last application date.

We prefer that your application is written in English, as it may be reviewed by international experts for whom English is the working language.

Your application should include the following parts:

CV: (Please name the document: CV, surname) including:

• CV, including a complete publication list;
• Previous teaching and pedagogical experience;
• Two references we can contact.

Cover Letter: (Please name the document: Cover Letter, surname), 1–3 pages where you:

• Introduce yourself;
• Describe your previous research areas and most significant research results;
• Describe your future goals and future research focus.

Other Documents:

• Authenticated copies of completed education, grades, and other certificates and documents.

Application deadline: 2026-06-29

The university works actively for a work environment with equal conditions and values the qualities that diversity brings to the operations. The university applies individual salary setting. According to the National Archives' regulations, the university is required to keep application documents for two years after the appointment decision. If you, as an applicant, specifically request your documents back, they will be returned when the two years have passed; otherwise, they will be destroyed. To staffing and recruitment agencies and to you who are sellers: The University of Gothenburg uses a procured advertising agency in connection with the recruitment of staff. We kindly but firmly decline direct contact with staffing and recruitment agencies as well as sellers of job advertisements.