-
verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous
-
The section focuses on conducting research in digital and high-frequency electronics, embedded systems, control, and communication, utilizing cutting-edge reconfigurable computing and sensors. The aim is to
-
candidate will contribute to the SECUREAM research project, focusing on enhancing cyber resilience solutions for digital Additive Manufacturing (AM) processes and workflows in close collaboration with leading
-
). The successful candidate will contribute to the Nudge2Green research project, applying software development and AI methods to design digital nudging tools that promote sustainable consumer behavior in food choices
-
as a primary parameter and power consumption reduction as a secondary parameter. Work closely with Digital system designer to understand the hardware specifications and limits in order to match the
-
expect applicants to: Have excellent English skills, both in speaking and writing. Danish or German would be an asset. Have excellent communication skills. Have sound knowledge in innovation management