Sort by
Refine Your Search
-
PhD Position on Sea Ice in the Arctic Climate System Faculty: Faculty of Science Department: Department of Physics Hours per week: 36 to 40 Application deadline: 28 August 2025 Apply now Join
-
PhD Position on Modelling the Evolution of the Larsen C Ice Shelf Faculty: Faculty of Science Department: Department of Physics Hours per week: 36 to 40 Application deadline: 15 May 2025 Apply
-
groups. Professor Bram Nauta’s Integrated Circuit Design (ICD) group focuses on various aspects of analog and Radio Frequency (RF) Integrated Circuits (IC). The group's motto is “fundamental solutions
-
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
-
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 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
-
-portal.uea.ac.uk/(...)s/david-richardson-2 ) and Prof. Terry Burke (University of Sheffield, UK, see: https://www.sheffield.ac.uk/(...)ic-staff/terry-burke ). The student will join a lively and highly international
-
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
-
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
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis