-
. In the current context of climate change, pandemics, and security threats, cities must address pressing issues such as food security, food resilience, localized production, climate-friendly food
-
engineering, malicious software analysis and prevention, and similar topics. We are particularly encouraging people working at the intersection of systems-level security and formal aspects of computer science
-
engineering aims to create human-engineered systems with the desirable properties of natural morphogenesis,such as increased robustness, adaptability, and ability to self-repair. In this project, we will focus
-
multidisciplinary and we expect that the PhD student will contribute to current research on single-atom transport and laser cooling, atomic qubit control and characterization, as well as advanced numerical
-
on integration of experimentally based approaches with fundamental understanding of physical, chemical, and engineering principles, including simulation of the system’s behavior. The current research within the 3P
-
-assisted security,language-based security and secure compilation, IoT, cryptographic and security engineering, malicious software analysis and prevention, and similar topics. We are particularly encouraging
-
, consisting of 21 research groups and 5 technology platforms, who work in a vibrant international research environment with a focus on interdisciplinary collaboration. Our researchers share a common purpose as