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
-
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