Vacant job

Gothenburg University 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 attract researchers and students from all over the world. With new knowledge and new perspectives, Gothenburg University contributes to a better future.

Researchers in Type Theory for Mathematics and Computer Science

The Department of Data and Information Technology has an international character with approximately 300 employees from over 50 different countries. The department is an integrated unit with both the University of Gothenburg and Chalmers University of Technology as principal institutions. The Department of Data and Information Technology is now seeking two researchers. The position is located within the Logic and Types research group, in the Computing Science division of the department, with the University of Gothenburg as the employer.

The project involves the study of dependent type theory extended with univalence, with applications in synthetic mathematics. Primary examples include synthetic algebraic geometry and synthetic Stone duality, but it may also involve other forms of synthetic mathematics, such as the study of higher categories. The project also covers the metatheory of dependent types, with the goal of designing better proof assistants.

Responsibilities

The two positions are full-time positions of 360 days each within the Logic and Types research group at the Department of Data and Information Technology. You are expected to conduct high-quality research and publish your results in leading international journals and conference proceedings. You should be able to work both independently and as part of a team, and communicate results both orally and in writing.

The positions may include teaching at the department, including supervision of bachelor's and master's theses. Teaching will constitute at most 20% of the working time. You may also participate as a co-supervisor for doctoral students.

Qualifications

Eligible for appointment as a researcher is someone who has completed a doctoral degree in a relevant subject area, for example in computer science or mathematics, or who has a foreign degree assessed as equivalent to a doctoral degree. The doctoral degree must be completed no later than when the application period closes.

Employment

Form of employment: Fixed-term employment, 360 days
Scope: 100% of full-time
Location: Department of Data and Information Technology, Computing Science division, Logic and Types unit
Start date: 2026-10-01 or by agreement

Selection Process

You are expected to have a strong background, with an excellent publication list and experience working with dependent type theory and univalence, as well as good knowledge of the theoretical models within type theory. Knowledge of homotopy theory is also relevant as an assessment criterion. It is important that you also have substantial experience in the formalization of mathematics, e.g., in systems such as Lean, Coq, and Agda.

Experience in supervising doctoral students, master's students, and teaching in advanced courses will be considered an advantage.

The applicant must be able to work both independently and as part of a team. The ability to collaborate and take initiative are important qualities, as is thoroughness and interest in research.

In the evaluation of applicants, special emphasis will be placed on the ability to conduct research within the relevant research area. It is desirable that the candidate has already spent a few years as a postdoc.

Both Swedish and English are used in basic teaching, while English is the working language for research at the Department of Data and Information Technology. Therefore, both oral and written skills in English are mandatory.

Contact Information

If you have questions about the project, you are welcome to contact Thierry Coquand (mailto:[email protected]).

If you have questions about the employment, you are welcome to contact Richard Torkar (mailto:[email protected]).

If you have questions about the recruitment process, you are welcome to contact Jenny Lind (mailto:[email protected]) or Ana Bove (mailto:[email protected]).

Trade Unions

Trade union representatives at the University of Gothenburg can be found 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 day of the application period.

The application must be written in English.

The department aims to actively improve our gender balance and we work broadly with equality projects. Equality and diversity are a fundamental part of all activities at the university and the department. We therefore welcome a diversity of applicants with different backgrounds and experiences.

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 whom 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 important research results;
• Describe your future goals and future research focus.

Other Documents:

• Certified copies of completed education, grades, and other certificates.

Application deadline: 2026-07-12

The University works actively for a working 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 elapsed; otherwise, they will be destroyed. To staffing and recruitment agencies and to you who are salespeople: Gothenburg University hires a procured advertising agency in connection with the recruitment of staff. We kindly but firmly decline direct contact from staffing and recruitment agencies as well as sellers of job advertisements.