PROJECT BACKGROUND AND DESCRIPTION

Category theory is an organizing language for mathematics. Higher categories generalize categories, replacing sets of morphisms between objects by homotopy types. Certain phenomena such as descent or univalence admit a satisfactory explanation only in the higher categorical world.
Constructive mathematics is an approach to mathematics where proofs are effective, yielding algorithms for constructing witnessing objects. While ordinary category theory is largely constructive, higher category theory as developed using the quasicategory model in simplicial sets is typically not, due to the use of excluded middle to make every simplicial set cofibrant.
The goal of the project is to develop the theory of higher categories (also known as ( , 1)-categories) in a constructive setting, and investigate connections with homotopy type theory. This will use analytic, formal and synthetic approaches.

QUALIFICATIONS

To be eligible for appointment as a postdoctoral researcher, you are required to have a doctoral degree in computer science, mathematics or other areas related to the project in this announcement, or a foreign degree that is deemed to be equivalent to such a doctoral degree.
You should be familiar with category theory and have an interest in type theory, homotopy theory, or higher categories. Familiarity with any of the following topics is beneficial: constructive mathematics, type theory, abstract homotopy theory, models of higher categories, simplicial sets.
Since teaching is part of the responsibilities, previous teaching experience is meritorious.
The working language at the department is English and the position requires sound verbal and written communication skills in English.

As a postdoctoral researcher, you will conduct high-quality original research and publish in leading international venues together with senior researchers in the group and other members of the research community. You will 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, you will perform teaching activities including supervision of bachelor and master thesis projects for at most 20% of your time, as well as possible co-supervision of PhD students.