Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
: Operator Algebras, Machine Learning, Analytic Number Theory, Automorphic Forms and Representation Theory Appl Deadline: 2025/10/10 11:59PM (posted 2025/09/10, listed until 2025/10/10) Position Description
-
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
-
wide-bandgap materials, based on the ultrafast spectroscopy and comparison to theoretical expectations. Your work will be carried out together with a team of researchers. Your profile Applicants should
-
, 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
-
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, Automorphic Forms and Representation Theory
-
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