Researcher in type theory for mathematics and computer science

The University of Gothenburg tackles society’s challenges with diverse knowledge. 56,000 students and 6,600 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 Logic and types research group in the Division for Computing science at the department, with the University of Gothenburg as the employer.

The project is about the study of dependent type theory extended with univalence with applications to synthetic mathematics. Prime examples are synthetic algebraic geometry and synthetic Stone duality, but it might be other kind of synthetic mathematics, such as study of higher categories.

Duties

The position is a full-time position for 360 days in the Logic and types research group at the Department of Computer Science and Engineering. The successful applicant will be expected to conduct high-quality research and to publish in leading international venues. The applicant should be able to work both independently and as part of a team on research related broadly to the goals of the project, and communicate the results verbally and in writing.

Additionally, the successful applicant will be expected to perform teaching activities including supervision of Bachelor's and Master's thesis projects for at most 20% of her/his time, as well as possible co-supervision of PhD 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.

Employment

Type of employment: Temporary position for 360 days
Extent: 100% of fulltime
Location: Department of Computer science and engineering, Division of Computing science, Logic and types unit
First day of employment: 2026-02-01 or according to agreement

Selection process

Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with dependent type theory and univalence. Good knowledge of the theory models of type theory is also expected. Ideally, the candidate should combine knowledge on these topics with basic knowledge of homotopy theory, and have strong experience in formalisation of mathematics, e.g. in the system Lean and (cubical) Agda.

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.

When evaluating the applicants, particular emphasis will be put on research skills in the relevant research field. It is desirable that the candidate has already spent a few years as a postdoc.

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.

Contact information for the post

If you have any questions about the project, please contact Thierry Coquand at thierry.coquand@cse.gu.se.
If you have any questions about the position, please contact Carl-Johan Seger at secarl@chalmers.se.
If you have any questions about the recruitment process, please contact Sanna Staf at sanna.staf@cse.gu.se.

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: including complete list of publications; previous teaching and pedagogical experiences; two references that we can contact.
• Personal letter: 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: 2025-10-30