56 web-programmer-developer-"LIST" "https:" "https:" "https:" "https:" Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by
-
organic chemical syntheses Independent and creative development of the research project Evaluation and interpretation of experimental results Presentation of results in group meetings and conferences
-
machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization methods, machine learning algorithms, and
-
smart grid). While there has been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop
-
of MIRMI. At the Geriatronics Research Center – part of MIRMI and located in Garmisch-Partenkirchen – we develop cutting-edge solutions to enhance quality of life in older age and improve the efficiency
-
, and unmodeled dynamics remains a key challenge. This position focuses on developing and validating methods that jointly address safety, performance, and reliability of learning-based control and
-
) - Semantic 3D Scene Understanding - Face / Body Tracking, 3D Avatars - Non-Linear Optimization - Media Forensics / Fake News Detection How to Apply: Follow the instructions on our application platform: https
-
and close ties to industry, the school constantly scores well in rankings, currently listed as the strongest German business school for research and teaching. Further, the TUM School of Management is
-
, the position offers the opportunity to develop and conduct independent research that aligns with the lab’s interests in active learning, information search, decision-making, and cognition from a
-
those tools for practical applications. For an overview of our previous work, please check out our web pages on software/design automation for microfluidics . Conventional Circuits and Systems: We develop