Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
. The position is associated with the project “Probabilistic Reasoning about Common Ground” under the auspices of the Collaborative Research Center “Common Ground” (CRC1718), which is funded by the German Research
-
, probabilistic models Representation learning, self-supervised learning, foundation models Data analysis, non-linear statistics, knowledge management Your profile PhD in Computer Science, Bioinformatics
-
component. The primary objective of this position is to develop, maintain and improve a near-real-time forecast system, to estimate the surface salinity and temperature of the entire Baltic Sea and its coasts
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification