Researcher in Homotopy Type Theory
Stockholm University Department of Mathematics

Researcher in Homotopy Type Theory Stockholm

Ref. No. SU FV-1001-21


at the Department of Mathematics. Closing date: 9 April 2021.

The Department of Mathematics at Stockholm University has 38 faculty staff members, divided into three divisions: Mathematics, Mathematical statistics and Computational mathematics. The Division of Mathematics carries out research in a wide range of topics in pure mathematics, including algebra, analysis, combinatorics, geometry, logic and topology.

The research group in mathematical logic is active in several areas of the field, including constructive mathematics, type theory, and categorical logic.

Project description
This researcher position is attached to the project “Type theory for mathematics and computer science”, with PI Thierry Coquand (in Göteborg) and co-investigator Peter LeFanu Lumsdaine (in Stockholm), supported by the Knut and Alice Wallenberg Foundation.  The project encompasses work in dependent type theory in general, and more particularly on homotopy type theory and related systems.

Main responsibilities
The main responsibility is to conduct research. The position also includes some teaching duties (up to 20%), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group’s seminar.

Qualification requirements
Researchers are appointed primarily for purposes of research and must hold a Swedish doctoral degree or an equivalent degree from another country.

Assessment criteria
In the appointment process, special attention will be given to research skills, and compatibility with the project in homotopy type theory. The candidate need not have previously worked in homotopy type theory, but they should have strong background in related fields to allow transitioning into work on the topic. Emphasis will also be placed on the candidate’s potential to interact with other members of the department.

Terms of employment
The position involves full-time employment for a maximum of two years. Start date 2021-09-01, or otherwise by agreement.

Stockholm University strives to be a workplace free from discrimination and with equal opportunities for all.

Further information about the position can be obtained from Peter LeFanu Lumsdaine,

General inquiries can also be directed to the head of the Mathematics Division, Jonas Bergström,

Union representatives
Ingrid Lander (Saco-S), telephone: +46 708 16 26 64,, Alejandra Pizarro Carrasco (Fackförbundet ST/Lärarförbundet), telephone: +46 8 16 34 89,, and (SEKO).

Apply for the position at Stockholm University's 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.

Please include the following information with your application

  • Your contact details and personal data
  • Your highest degree
  • Your language skills
  • Contact details for 2–3 references

and, in addition, please include the following documents

  • Cover letter
  • CV – degrees and other completed courses, work experience and a list of publications
  • Research proposal (no more than 3 pages) describing:
    – describing your scientific background, research achievements, and plans,
    with attention to why you and your planned research are suitable for this project
  • Copy of PhD diploma
  • Letters of recommendation (no more than 3 files)
  • Publications in support of your application (no more than 3 files).

The instructions for applicants are available at: How to apply for a position.

You are welcome to apply!

Stockholm University contributes to the development of sustainable democratic society through knowledge, enlightenment and the pursuit of truth.

Closing date: 09/04/2021


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