Sort by
Refine Your Search
-
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
-
collaboration between the Department of Electrical and Computer Engineering and the Novo Nordisk Foundation CO2 research center, Aarhus University, we aim to address this opportunity by developing digital twins
-
on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities . Salary depends on seniority as agreed between the Danish Ministry of Taxation
-
sustainable and resilient agricultural systems. The research team you will join is coordinating an international program that brings together leading scientists from around the world to investigate beneficial
-
. The Department of Chemistry at Aarhus University (www.chem.au.dk) is one of the leading European chemistry departments with a broad research program. It has a permanent staff of ~35 full and associate professors
-
innovative research, contracted policy advice, and education. We offer professional laboratories, greenhouses, semi-field, and field-scale research facilities, advanced computing capacities as
-
content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities . Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation
-
Academic Staff at Danish Universities . Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations. Aarhus University’s ambition is to be
-
Universities . Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations. Aarhus University’s ambition is to be an attractive and inspiring
-
-field, and field-scale research facilities, advanced computing capacities as well as an extensive national and international researcher network. The department consists of nine research sections with