Sort by
Refine Your Search
-
Are you interested in distributed coordination and autonomous decision-making in robot swarms, and can you contribute to the development of the international ITEA 4 project ADVISOR – Cooperative
-
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; probabilistic program
-
approximately 275 academic and technical staff, as well as PhD students, distributed at two geographical locations in Aarhus and Roskilde. The Section for Wildlife Ecology is situated in Aarhus and
-
, the Lundbeck Foundation, Novo Nordisk Foundation, Independent Research Fund Denmark, etc. Sun lab: https://dandrite.au.dk/people/research-groups/sun-group DANDRITE: https://dandrite.au.dk
-
Interdisciplinary Centre for Climate Change ( https://iclimate.au.dk/ ) What we offer The department offers: • a well-developed research infrastructure, laboratories and access to shared equipment
-
research network and good industrial and professional collaboration. Please refer to Department of Animal and Veterinary Sciences (au.dk) for further information about the department: https
-
about the project here https://www.planttip.dk/ In this already ongoing project, we are now moving into the phase of building the model, using available knowledge, data, and theories on consumer
-
international research network and good industrial and professional collaboration. Please refer to Department of Animal and Veterinary Sciences (au.dk) for further information about the department; https
-
for Microbiology ( https://bio.au.dk/en/about-biology/sections/microbiology ) employs 12 associate and full professors and offers a vibrant, international research environment for studying microbial
-
-temperature condensed phases - a frontier area essential for understanding how chemical complexity arises in space. https://phys.au.dk/irastro About InterCat – Center for Interstellar Catalysis InterCat is