Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
theory. Formal models of quantum computing (e.g., ZX-calculus). Fluency in English is required. For further information, please contact Assoc. Prof. Robin Kaarsgaard at kaarsgaard@imada.sdu.dk . About the
-
mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out
-
MSc students and contribute to high-impact publications. An inclusive, international, and collaborative research environment at AAU-Copenhagen. About the Department The Department of Computer Science
-
PhD in social sciences (e.g., management, sociology, technology and ethics, organization theory) Experience with qualitative fieldwork, especially in tech industries Knowledge of the academic literature
-
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
-
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
-
practice as well as in theory. Your primary responsibilities will include: Investigate, develop and validate new models to simulate wind turbine response in HAWC2 at different fidelity levels. Validation
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
-assisted control of large wind turbines. You will collaborate closely with both academic and industrial partners in Denmark and abroad, ensuring that your research has impact in practice as well as in theory