The University of Gothenburg tackles society’s challenges with diverse knowledge. 53 500 students and 6 500 employees make the university a large and inspiring place to work and study. Strong research and attractive study programmes attract scientists 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 270 employees from over 30 countries. The department is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals, with activities on two campuses in the city of Gothenburg. Our research has a wide span, from theoretical foundations to applied systems development. We provide high quality education at Bachelor’s, Master’s and graduate levels, offering over 120 courses each year. We also have extensive national and international collaborations with academia, industry and society.

The position is placed in the Logic and Types research group at the department, with the University of Gothenburg as the employer.

This position is a great opportunity for you as a PhD student to develop your scientific and technical skills as part of a team of leading researchers in the area of dependent type theory and implementors of the Agda proof assistant. The project aims to advance type theory both theoretically and practically, in particular in the direction of modalities. You will be working on type theory from a mathematical perspective (type systems and their models), an algorithmic perspective (unification and type-checking), and a programming perspective (efficient implementation as part of the Agda proof assistant).

Job assignments
The aim of the doctoral (third-cycle) education is to acquire the knowledge and skills necessary to conduct independent research within the area of the position, and to contribute to the development of knowledge by writing a scholarly thesis.

Third-cycle studies are equivalent to four year full-time and lead to a Degree of Doctor. Those appointed to doctoral studentships shall primarily devote themselves to their own research, to write manuscripts for publication contributing to the dissertation, and to graduate-level coursework.

Those appointed to doctoral studentships may, however, work to a limited extent with educational tasks, research and administration. Before a PhD degree has been awarded, duties of this kind may not comprise more than 20 percent of a full-time post.

To be eligible for third-cycle studies, the applicant must meet both the general and, where applicable, specific entry requirements.

A person meets the general entry requirements for third-cycle studies if he or she:
1. has been awarded a second-cycle qualification
2. has satisfied the requirements for courses comprising at least 240 credits of which at least 60 credits were awarded in the second-cycle, or
3. has acquired substantially equivalent knowledge in some other way in Sweden or abroad.

In selecting between applicants who meet the general and, where applicable specific entry requirements, their ability to benefit from third-cycle studies shall be taken into account.

The applicant should be able to work both independently and as part of a team. When evaluating the applicants, particular emphasis will be put on research skills in the relevant research field.

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.

After admission to third-cycle studies you will be appointed to doctoral studentship. Regulations for employment of doctoral students are given in SFS 1993:100. The initial appointment may apply for no longer than one year. An appointment may be renewed for no more than two years at a time. A person may be appointed to a doctoral studentship for a total of eight years. The total employment period may, however, not exceed the time corresponding to full-time third-cycle study for four years.

Salaries for doctoral students are regulated in a local agreement at the University.

Type of employment: Fixed-term employment, HF 5 kap 7 §
Extent: 100 % of full time
Location: Department of Computer Science and Engineering /Logic and Types research group
First day of employment: January 2022 or other date after agreement

For further information regarding the position
Regarding the project, please contact Andreas Abel (e-mail:
Regarding the position, please contact David Sands (e-mail:
Regarding the appointment procedure, please contact HR-partner

Learn more and apply here

Closing date: 2021-11-01

Ref PAR 2021/1243

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.

URL to this page

Leave a Reply

Your email address will not be published.