Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
the beneficial use of ML in healthcare through research in the foundations of safe ML-systems and the development of protocols and automatic tools for their certification. Therefore, the project is looking for a
-
us We are TUM’s unique Pathology AI lab developing new machine learning (ML) methods for automatically analyzing digital pathology data and related medical data. Such methods include the automatic
-
methods (LBM). For fluid simulations, we utilize the high-performance LBM framework waLBerla, predominantly written in C++, but increasingly adapted for GPU computations through automatic code generation
-
non-standard register layouts and memory-mapped peripherals (accelerators), ena-bling automatic recognition of customized debugging symbols (example in DARE: AIPU). • Low-Overhead Instrumentation
-
computer science. It offers automatic grading and feedback of various types of exercises. The tool has been used at dozens of universities around the world (including 5 times at TUM) and graded almost a million