The University of Gothenburg tackles societys 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 , 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, conjectur...