Sort by
Refine Your Search
-
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
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake