Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
competitive research in AI-driven semantic analysis and automated reasoning-flow modeling, with applications to educational materials, scientific documents, and research authoring. Your work will focus
-
11.04.2025, Academic staff The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD/Postdoc position in the area of automatic formal
-
disciplines. We work on semantically structured data and interfaces, shared workflows, and contribute to engaging the growing ELM community in digitalized research. To coordinate and support the digitalization
-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
Interaction’ will have the following responsibilities: Development of methods for automatic knowledge extraction and model learning from textual data Development and learning of semantic models such as
-
with disabilities will be given preference. Formal appointment procedures will be carried out by the University’s Central Administration.
-
many-body physics and space-time; quantum programming languages and formal methods; mathematical and computer science foundations and connections. Please see here for more information about the positions
-
. derivation, analysis, comparison of num. meth. and simulation approaches for PDEs Formal proofs, e.g., for convergence, existence & uniqueness of solutions Fast prototyping of new ideas in individual code
-
74, 20359 Hamburg, Germany. If you have any questions regarding the formal application process or the selection procedure, please contact Ms. Jeannette Meurer from the HR Department (meurer(at)bnitm.de
-
long application procedure. After the nomination, the fellowship can be awarded in 4-8 weeks! There is only a formal check if you fulfill the criteria (PhD no longer than 4 years ago, no previous