Sort by
Refine Your Search
-
stipends in the following specific areas/centers of the department: Algebraic and arithmetic geometry, applied algebra, geometric group theory, combinatorics, geometry and geometric analysis, Lie theory
-
stipends in the following specific areas: Insurance mathematics, mathematical finance, econometrics and financial economics, applied probability theory, and operations research, as covered by the Section
-
verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous
-
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
-
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
-
to contribute to: (1) The design and build-up of a deep-UV supercontinuum source for ultrafast pump-probe transmission / reflection spectroscopy. (2) Investigate the dynamics of electrons and holes in selected
-
to contribute to: (1) The design and build-up of a deep-UV supercontinuum source for ultrafast pump-probe transmission / reflection spectroscopy. (2) Investigate the dynamics of electrons and holes in selected
-
The Department of Mathematics at Aarhus University invites applications for postdoctoral positions in the research group of Fabrice Baudoin. The positions are within the fields of probability 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
-
, Julia, or Rust, but preferably also one of the languages Fortran/C/C++) are highly desirable, as is a clear motivation to conduct theoretical work at the forefront of contemporary electronic-structure