Sort by
Refine Your Search
-
existing uncertainties about climate feedbacks at the boundaries between oceans, land, ice, and atmosphere. Our interdisciplinary approach and state-of-the-art infrastructure will bring us forward in our
-
at the boundaries between oceans, land, ice, and atmosphere. Our interdisciplinary approach and state-of-the-art infrastructure will bring us forward in our understanding of the impact of climate feedbacks emerging
-
feedbacks at the boundaries between oceans, land, ice and atmosphere. Our interdisciplinary approach and state-of-the-art infrastructure will bring us forward in our understanding of the impact of climate
-
the aim to address existing uncertainties about climate feedbacks at the boundaries between oceans, land, ice, and atmosphere. Our interdisciplinary approach and state-of-the-art infrastructure will bring
-
at the renowned ICS graduate school together with fellow PhD candidates from Utrecht, Groningen, Amsterdam and Nijmegen. The research in this position will align with the research on ‘changing inequalities
-
Sea Dynamics, Earth System Modelling, Ice and Climate and Oceans and Climate. In 2022, IMAU research quality and impact were qualified as 'world leading' by an international visitation committee
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by