Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung | Bremerhaven, Bremen | Germany | about 1 month ago
of novel glaciological observations, first-principle theoretical work, and ice-sheet-wide numerical simulations, PHAST will generate new mathematical models and process-level understanding of ice
-
a strong background in high-performance computing or in numerical analysis. If you think that you have the requirements above, you should apply for this position. We offer a young, dynamic, and
-
(MUCCnet: atmosphere.ei.tum.de ) Optimization of an urban sensor network configuration for greenhouse gas and air pollutant measurements using mathematical and physical assessments Analysis of ground-based
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification