Stockholm University
Postdoctoral Fellow in Type Theory and Mathematical Logic
Stockholm University, Saco, Maine, us, 04072
Postdoctoral Fellow in Type Theory and Mathematical Logic
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 descriptionThis 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 responsibilitiesThe 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 requirementsPostdoctoral 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 criteriaThe 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 employmentThe 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.ContactFurther 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.ApplicationApply 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 dataContact details for 2–3 referencesImportant: Your references should send us recommendation letters no later than 2024-11-04, via e-mail to postdoc-apply@math.su.se and state in the subject line: SU FV-3222-24 + name of the applicant.and, in addition, please include the following documents:CV – degrees and other completed courses, work experience and a list of publicationsResearch proposal (no more than 3 pages)
#J-18808-Ljbffr
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 descriptionThis 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 responsibilitiesThe 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 requirementsPostdoctoral 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 criteriaThe 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 employmentThe 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.ContactFurther 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.ApplicationApply 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 dataContact details for 2–3 referencesImportant: Your references should send us recommendation letters no later than 2024-11-04, via e-mail to postdoc-apply@math.su.se and state in the subject line: SU FV-3222-24 + name of the applicant.and, in addition, please include the following documents:CV – degrees and other completed courses, work experience and a list of publicationsResearch proposal (no more than 3 pages)
#J-18808-Ljbffr