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
-
physics and condensed matter theories to address the problem of fracture in complex materials. You will be working with experimental model systems and numerical simulations of materials that exhibit
-
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
-
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