Sort by
Refine Your Search
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
SDU Climate Cluster (SCC) is looking for a postdoc with expertise in Arctic Climatology, Sea-Ice conditions, Anthropology, or other similar fields, preferably with a focus on Arctic Cultures. More
-
. Experience with building simulation models (e.g., EnergyPlus, IDA ICE or similar). Good understanding of building physics Proficiency in programming e.g. in MATLAB, Python or similar environments for modelling
-
to hydrography, sea ice, and water chemistry, using both in situ and remote sensing data We are seeking candidates with a background in marine science, oceanography, earth system science, or a related field. The
-
in using TRNSYS or IDA ICE is an advantage). Previous research experience in statistical analysis, data-driven modelling, and machine learning for indoor environment and building applications is an
-
expertise in Arctic Climatology, Sea-Ice conditions, Anthropology, or other similar fields, preferably with a focus on Arctic Cultures. More specifically, the focus is loss of Indigenous knowledge and culture
-
memory systems for real-time systems. We also research the design and verification of digital systems, including chip design. Embedded Systems Engineering (ESE) is one of the 10 research sections at DTU
-
. Integrating new pumping systems and verification of aseptic bubble-free long-term perfusion. Characterizing oxygen and metabolite distribution by advanced microscopy. Performing month-long culture of stem cell
-
and exciting environment with plenty of opportunities for collaborations. In your role as a postdoc, you will focus on the formal verification techniques for process models, and the application
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal