Post Doc in Type Theory for Mathematics and Computer Science
University of Gothenburg Department of Computer Science and Engineering

Post doctor in Type Theory for Mathematics and Computer Science

Ref PAR 2021/153


The University of Gothenburg tackles society’s challenges with diverse knowledge. 49 000 students and 6 400 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 as a postdoctor is placed in the Logic and Types research group at the department, with the University of Gothenburg as the employer.

Subject area

Type theory for mathematics and computer science

Subject area description

The project is about the study of dependent type theory extended with univalence and higher inductive types. It can range from theoretical studies of models to actual formalisations of mathematics in a proof system (such as Agda), or working on design of proof assistants incorporating the advances brought by the connections with homotopy theory.

Job assignments

This postdoctoral position is a full time position for two years 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.


The qualifications for academic positions are given in Chapter 4, Section 3 - 4 of the Higher Education Ordinance. 

You should have achieved a doctoral degree by the application deadline to qualify for a position as postdoctoral researcher at the University of Gothenburg. The doctoral thesis shall be in a relevant area according to the specific position stated in the advertisement, for example computer science or mathematics. Since a position as postdoctor aims to give new holders of the doctorate the opportunity mainly to strengthen and develop their scholarly proficiency, we aim for those who have a doctoral degree not older than 3 years counting from last date of application.

The person who has acquired a doctorate earlier may also be given primary consideration if there are special reasons. Special reasons are considered to be a leave of absence due to illness, service in the total defense, commissions of trust within professional and student organizations or parental leave or other similar circumstances.


Regulations for the evaluation of qualifications for academic positions are given in Chapter 4, Section 3 – 4 of the Higher Education Ordinance.  

Competitive candidates are expected to have a strong background, with an excellent publication record, and experience of working with dependent type theory and univalence. Ideally, the candidate should combine knowledge on these topics with basic knowledge of homotopy theory. However, we also welcome candidates working on nearby areas who would  be interested in getting into the field.

Experience of supervising doctoral students, master's students and teaching in third cycle courses will also be considered as a merit.

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.

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.


Type of employment: Fixed-term employment, 24 months, central agreement
Extent: 100 % of full time.
Location: Department of Computer Science and Engineering / Logic and Types research group.
First day of employment: April 2021 or other date after agreement.

For further information:

Regarding the project, please contact Thierry Coquand (e-mail:
Regarding the position, please contact David Sands (e-mail:
Regarding the appointment procedure, please contact HR-partner 


Union representatives at the University of Gothenburg:

Information for International Applicants

Choosing a career in a foreign country is a big step. Thus, to give you a general idea of what we and Gothenburg have to offer in terms of benefits and life in general for you and your family/spouse/partner please visit:

How to apply

In order to apply for a position at the University of Gothenburg, you have to register an account in our online recruitment system. It is the responsibility of the applicant to ensure that the application is complete in accordance with the instructions in the job advertisement, and that it is submitted before the 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, Ref. number) 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, Ref. number) 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.

Closing date:  2021-03-10

The University of Gothenburg promotes equal opportunities, equality and diversity.

Salary is determined on an individual basis.

Applications will be destroyed or returned (upon request) two years after the decision of employment has become final. Applications from the employed and from those who appeal the decision will not be returned.

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.


If you apply for this position please say you saw it on Computeroxy


All Jobs


Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions