The University of Gothenburg tackles society’s challenges with diverse knowledge. 58 000 students and 6800 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract researchers and students from around the world. With new knowledge and new perspectives, the University contributes to a better future.
The department of Computer Science and Engineering is strongly international, with approximately 300 employees from over 40 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals.The researcher position is placed in the Data Science and AI Division, with the University of Gothenburg as the employer.
Information about the project:
We are looking for one researcher to join the ERC project NextReason, targeting topics such as AI and reasoning, proving, autoformalization and conjecturing. The position will focus on developing neuro-symbolic methods that integrate learning, reasoning, conjecturing and theory exploration.
Duties
The position is a full-time position for 360 days in at the Department of Computer Science and Engineering.
The successful candidate will conduct independent and collaborative research within NextReason in the chosen area. Duties include developing novel AI/ATP/ITP/formalization methods, publishing results at appropriate venues, contributing to software and datasets and supervision of students.
Qualifications
To be eligible for appointment as a researcher, the applicant is required to have a doctoral degree in a relevant area according to the specific position stated in the advertisement, for example computer science or mathematics, or a foreign degree that is deemed to be equivalent to a doctoral degree.
When evaluating the applicants, particular emphasis will be put on research skills in the relevant research field.
The applicant should be able to work both independently and as part of a team. The abilities to cooperate and to take own initiatives are important qualities together with accuracy and interest in research.
Whereas both Swedish and English are used in undergraduate courses, English is the working language for research at the Department of Computer Science and Engineering. Thus, both verbal and written fluency in English is mandatory for candidates.
Employment
Type of employment: Temporary position for 360 days
Extent: 100% of fulltime
Location: Department of Computer Science and Engineering, Division of Data Science and AI
First day of employment: as soon as possible upon agreement, but no earlier than the 17th of August
Contact information for the post
If you have any questions about the project or the position, please contact [email protected]
If you have any questions about the recruitment process, please contact Jenny Lind, [email protected]
Unions
Union representatives at the University of Gothenburg can be found here: https://www.gu.se/en/work-at-the-university-of-gothenburg/how-to-apply-for-a-position#collective-agreement-and-union-representatives
Application
To apply for a position at the University of Gothenburg, you have to create an account in our recruitment system. Submit your application via the University of Gothenburg’s recruitment portal by clicking the “Apply” button. It is your responsibility to ensure that the application is complete as per the vacancy notice, and that the University receives it by the final application deadline.
The selection of candidates is made on the basis of the qualifications registered in the application. The application is to be written in English.
You need to provide:
CV: (Please name the document as: CV, Family name) including:
- CV, include complete list of publications;
- Previous teaching and pedagogical experiences;
- Two references that we can contact.
Personal letter: (Please name the document as: Personal letter, Family name), 1-3 pages where you:
- Introduce yourself;
- Describe your previous research fields and main research results;
- Describe your future goals and future research focus.
Other documents:
- Attested copies of completed education, grades and other certificates.
Applications must be received by: 29 June 2026
The University works actively to achieve a working environment with equal conditions, and values the qualities that diversity brings to its operations. Salaries are set individually at the University. In accordance with the National Archives of Sweden’s regulations, the University must archive application documents for two years after the appointment is filled. If you request that your documents are returned, they will be returned to you once the two years have passed. Otherwise, they will be destroyed. In connection to this recruitment, we have already decided which recruitment channels we should use. We therefore decline further contact with vendors, recruitment and staffing companies.
