6 ic-verification Postdoctoral positions at Technical University of Denmark in Denmark
-
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
-
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