Fwd: [ALGTOP-L] Postdoctoral Fellow in Mathematical Logic, Stockholm University

[Samuel Gomes da Silva]

---

---------- Forwarded message ----------
From: Erik Palmgren <palm...@math.su.se>
Date: 5 February 2018 at 10:29
Subject: [ALGTOP-L] Postdoctoral Fellow in Mathematical Logic, Stockholm University
To: "algt...@lists.lehigh.edu" <algt...@lists.lehigh.edu>

Dear readers of this list,

I thought this postdoc position may be of interest to young researchers interested in

homotopy type theory  or the interplay of algebraic topology and type theory.

Erik Palmgren

----

Postdoctoral Fellow in Mathematical Logic
Ref. No. SU FV-0346-18

at the Department of Mathematics, Stockholm University.

Closing date: 3 April 2018.

The Department of Mathematics at Stockholm University has roughly 40 faculty members, and is divided into two divisions: Mathematics and Mathematical Statistics. This postdoctoral position is attached to the former. The Division of Mathematics carries out research in a wide range of subjects 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, proof theory, type theory and category-theoretic logic, as well as the philosophical aspects of logic and mathematics.

Project description

A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic.

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 (by the time of appointment) or an equivalent degree from another country.

Assessment criteria

Applicants with a PhD degree awarded no more than three years before the deadline for application will be given preference. Parental leave, compulsory military and similar types of service, or longer periods of illness are not counted towards these three years.

In the appointment process, special attention will be given to research skills. Emphasis will also be placed on the candidate’s potential to contribute to the proposed research program and to interact with other members of the department.

Terms of employment

The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement.

Contact

Further information about the position can be obtained from Professor Erik Palmgren, telephone: +46 8 16 45 32, palm...@math.su.se, and/or Peter LeFanu Lumsdaine, telephone: +46 8 1614 66, p.l.lu...@math.su.se.

Applications are to be entered via the Stockholm University's online
application system. For instructions see the full advertisement:

https://www.su.se/english/about/working-at-su/jobs?rmpage=job&rmjob=4748&rmlang=UK


Welcome with your application!


Erik Palmgren

Professor of Mathematical Logic
Department of Mathematics
Stockholm University

http://staff.math.su.se/palmgren/

_______________________________________________
ALGTOP-L mailing list
ALGT...@lists.lehigh.edu
https://lists.lehigh.edu/mailman/listinfo/algtop-l