Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
technologies to fundamental physics questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG
-
verification problem compared to verifying a neural network with millions of neurons. We will also use the feedback of the safety layer to improve the learning rate by excluding provably unsafe actions during
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
excellent, with a dedicated and competent staff. Relevant initiatives (conferences, workshops, etc) can be funded. While the central topic of the research group is cluster algebra theory, we take special
-
employees in 5 scientific departments conduct and facilitate top-level research on historic grounds in Berlin-Dahlem, which is unique worldwide. The FHI Theory department is currently looking to fill a PhD
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
and control system for real-time control and operation at autonomy level 3 as defined by the International Maritime Organization (IMO 1). The control system to be developed will almost completely avoid
-
brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories
-
also on power systems in the CoSES lab at the Technical University of Munich. Previous Work https://mediatum.ub.tum.de/doc/1731060/g5zgxaj96lcyhh8gh6le1xbuu.Wetzlinger-2023-TAC.pdf https
-
, equitable, trustworthy, and context-sensitive. Multi-agent architectures where multiple AI systems collaborate, negotiate, and adapt to model complex human learning processes and support group work