Sort by
Refine Your Search
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung | Bremerhaven, Bremen | Germany | about 3 hours ago
allows for the persistence of a strong halocline: A cold and fresh layer of water insulates the sea ice from the warm and salty waters that enter from the Atlantic Ocean. As global warming induces a
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
to explore it, and also, in some cases, to exploit it. At the same time, the Southern Ocean, which plays a key role in regulating our climate through ocean currents, sea ice, and its ability to absorb heat and
-
about our group here: https://www.fz-juelich.de/en/ice/ice-3/research/reactive-trace-substances/organic-trace-gases We offer you an exciting and varied role in an international and interdisciplinary
-
PostDoc in "Geopolitical dilemmas for management: transfer of governance for the Southern Ocean" ...
ice, and its ability to absorb heat and CO2 from the atmosphere, is undergoing climate-related changes. It is not beyond the reach of human-induced changes to our planet. In recent decades
-
PostDoc in "Sustaining the keystone: Rethinking Antarctic krill fishery management under climate ...
currents, sea ice, and its ability to absorb heat and CO2 from the atmosphere, is undergoing climate-related changes. It is not beyond the reach of human-induced changes to our planet. In recent decades
-
Postdoc in "Navigating uncertainty: Planning marine protected areas in a changing Southern Ocean"...
ice, and its ability to absorb heat and CO2 from the atmosphere, is undergoing climate-related changes. It is not beyond the reach of human-induced changes to our planet. In recent decades
-
‘verification’ within the Cluster. Collaboration with colleagues at the Cluster, at PRIF and at JLU. Support for the local, national, and international networking activities of the Research Group, the Cluster and
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods