Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
record in probability theory, analysis, or related areas. Ability to work independently and collaboratively in an international team. Place of work Place of employment is Aarhus University, and place of
-
hold a PhD in physics, but other fields within the natural sciences may be considered for applicants with a strong profile on the points listed below. Experience with experiments based on femtosecond
-
, you will be asked to indicate, which of the areas listed on the page above are of interest to you. The list includes positions covering Operator Algebras, Machine Learning, Analytic Number Theory
-
Mathematics. The positions have 1st January 2026 as earliest possible start dates. There are postdoc positions available in the areas listed: here When applying, you will be asked to indicate, which
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization