Sort by
Refine Your Search
-
defining security policies that supports co-simulations by multiple autonomous actors. A proof-of-concept of the value of such dynamic collaboration in a System of Systems setting is included with a
-
Security”. The postdocs will conduct research on program analysis within the Programming Languages, Logic, and Software Security research group at Aarhus University. The focus of the positions will be in
-
logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed
-
-leading companies, some of which are part of the vibrant robotic startup community around Odense. The positions are tied to the development of an Automated Service Inspection (ASI) system for wind
-
synchronization between multiple pseudo-qubits. The project will combine physics-based modelling, device design and fabrication, experimental characterization, and system-level demonstrations. The successful
-
, Department of Energy Conversion and Storage (DTU Energy) we are looking for a postdoc to work on micromagnetic modeling of a novel rare-earth-free permanent magnet system. 205 years ago, the founder of the
-
computing, semiconductor technologies, and energy-efficient system architectures. Access to advanced facilities and infrastructure for spintronic device design, fabrication, electrical and magnetic
-
farming systems. Your contributions will directly support the United Nations Sustainable Development Goals (SDGs), especially those related to food security, sustainability, and climate resilience. Expected
-
(SDGs), especially those related to food security, sustainability, and climate resilience. Expected start date and duration of employment This is a fixed-term position from 1 December 2026, or as soon as