Sort by
Refine Your Search
-
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
-
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
-
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
-
the phenomenology of cognition (e.g. formalizing concepts such as reasoning, agency, meaning, or experience into testable computational models, skill acquisition, and affordances). The successful candidate will bring