Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
56 Faculty of Mathematics Startdate: 01.09.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.08.2029 Reference no.: 4199 The Faculty
-
56 Faculty of Mathematics Startdate: 01.09.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.08.2029 Reference no.: 4198 The Faculty
-
56 Faculty of Mathematics Working hours: 40 | Collective bargaining agreement: §48 VwGr. A2 Limited until: permanent Reference no.: 4426 The position We are looking for candidates with
-
exploring the frontier between modern machine learning and classical mathematical theory—where neural networks meet some of the most difficult problems in computational science. The ideal candidate will have
-
one of these fields: Optimal Transport, numerical analysis of PDEs, functional analysis, mathematical foundations of deep learning, and measure theory. You can find more information about our research
-
56 Faculty of Mathematics Startdate: 01.09.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.08.2029 Reference no.: 4097 The Faculty
-
analysis of PDEs (with deterministic and/or stochastic methods), Gaussian Random Fields, mathematical foundations of deep learning, functional analysis and measure theory. You can find more information about
-
to focus on the relationship between geometry and quantum theory. A key objective will be the conceptual and mathematical understanding of the original Penrose spin network, with a view toward foundational
-
not possible without acknowledging the crucial role of observations and context in the foundations of quantum theory. If you are interested in deepening our conceptual understanding of the intersection