-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
PhD students – though teaching duties may be low The ideal candidate Holds a PhD with a strong background in quantitative genetics and/or animal breeding Has published high-quality research in peer
-
twinning for production and process optimization. A first-of-its-kind pilot factory is now based at Aarhus University (AU Viborg), and has been equipped with about 200 sensors and a production management
-
analytics and decision-making; Designing energy-efficient, low-latency communication strategies; Publishing high-impact research and contributing to outreach and dissemination activities. In addition, you