Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
the long-term behavior of the façade-TEG composites. At DTU Energy, you will have access to excellent facilities and competences for characterization and modelling. Responsibilities and qualifications Your
-
thereafter. We are seeking a detail-oriented and well-structured candidate to support our research on ecological modelling and simulation, contributing to projects within sustainable agriculture and ecological
-
has gathered detailed data on the effects of contaminants on marine mammals over the last three decades, combining a variety of methods including PBPK modelling, TWI evaluations, mass balances, risk
-
analytical chemistry and will be undertaking detailed quantification of the resulting products and propose models and mechanisms toward the underlying chemistry. The postdoc is expected to ensure the ongoing
-
Post Doctoral Researcher in Human-centred Large Language Models for Software Engineering, Departm...
of responsible and human-centered AI in software engineering (AI4SE). The AI4SE1DK project addresses urgent industry needs by investigating how Large Language Models can be effectively, ethically, and sustainably
-
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
-
are for different levels of decision-making. The position is for two years and will commence April 1, 2026, or soon thereafter. The position is within the research section Management and Modelling (MAMO
-
characterisation and solution composition modelling will contribute to the efforts of our cross disciplinary team, for whom the aim is to understand solid-fluid (water and gas) interactions of natural materials and
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics