Postdoctoral Fellow in Type Theory and Mathematical Logic
Stockholm
Ref. No. SU FV-3222-24
at the Department of Mathematics. Closing date: 4 November 2024.
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 branches of pure mathematics, including algebra, analysis, combinatorics, logic, geometry and topology.
Project description
This position is attached to the project “Type theory for mathematics and computer science”, with PI Thierry Coquand (Göteborg University) and co-investigator Peter LeFanu Lumsdaine (Stockholm University), supported by the Knut and Alice Wallenberg Foundation. The project is focused on homotopy type theory and similar systems, and may more broadly encompass related topics in mathematical logic and computer science.
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
Postdoctoral positions are appointed primarily for purposes of research. Applicants are expected to hold a Swedish doctoral degree or an equivalent degree from another country.
Assessment criteria
The degree must have been completed at latest before the employment decision is made, but no more than three years before the closing date. An older degree may be acceptable under special circumstances. Special reasons refer to sick leave, parental leave, elected positions in trade unions, service in the total defense, or other similar circumstances as well as clinical attachment or service/assignments relevant to the subject area.
In the appointment process, special attention will be given to research skills, and compatibility with the project and existing strengths of the department. The candidate need not have previously worked in 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 minimum of two years and a maximum of three years, with the possibility of extension under special circumstances. Start date 1 January 2025 or as per agreement.
Stockholm University strives to be a workplace free from discrimination and with equal opportunities for all.
Contact
Further information about the position can be obtained from Peter LeFanu Lumsdaine, p.l.lumsdaine@math.su.se or from the Head of the Division of Mathematics, Alan Sola, telephone: +46 8 16 4523, sola@math.su.se.
Union representatives
Ingrid Lander (Saco-S), telephone: +46 708 16 26 64, saco@saco.su.se, Alejandra Pizarro Carrasco (Fackförbundet ST/OFR), telephone: +46 8 16 34 89, alejandra@st.su.se, and seko@seko.su.se (SEKO).
Application
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
and, in addition, please include the following documents
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: 04/11/2024
Academic Europe, the European career network for Academics, Researchers and Scientists
