Sort by
Refine Your Search
-
to join new research projects. You can contribute to the development of the project MUNI-RISK and MineSweeper and work towards protecting the Baltic Sea and EU oceans. The Department of Environmental
-
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
-
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
-
Applications are invited for a 2-year position in the field of CFD and modeling of heat pumps at the Department of Mechanical and Production Engineering, Aarhus University, Denmark. Expected start
-
. Aarhus – a vibrant university city by the sea, combining rich cultural life with easy access to nature. Qualifications PhD in mathematics (completed or expected before start date). Preferred research
-
read more about the department here and about the faculty here . About the research project This research project addresses the critical gap in experimental models for systematically investigating
-
and models of the biochemical processes and production system to feedback to the researchers how to improve the processes while optimizing the production system, and showing venture capitalists how
-
. The project’s main objective is to optimize the RNA delivery platform through in vitro screening models, followed by in vivo safety and proof-of-concept studies. Your job responsibilities As Postdoc your position
-
disease, with a strong focus on fibrosis and inflammation. Over the years, we have developed an advanced translational toolkit, including human precision-cut tissue slices, a unique organotypic model
-
; 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