18 web-programmer-developer-"U" Postdoctoral scholarships at Technical University of Munich
-
- 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
-
classical topics in numerical analysis, such as the analysis of nonlinear PDEs or the development of new solver- or coupling-methods including their convergence analysis, but also modeling and simulation
-
Gittereichtheorien“, das im Rahmen des Emmy Noether-Programms der DFG gefördert wird. Ziel des Projekts ist die Entwicklung digitaler Quantenalgorithmen zur Simulation nichtabelscher Gittereichtheorien. Wir suchen
-
pages or friendships between users in a social network. Due to the large variety in data science tasks performed with graph-structured data, different specialized systems have been developed, such as
-
such as pre-ignition risks, material compatibility, and storage under high pressure. To address these challenges, we will develop novel techniques for provably safe reinforcement learning. This project is
-
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
-
exploration. These methods will be developed together with the company CargoKite (https://cargokite.com/ ), which develops a ship for autonomous, highly flexible global container transportation. The transport
-
to serious and costly accidents due to human error. Solutions to these problems, such as sustainable drives and autonomous navigation, are not yet fully developed and are still at the experimental stage
-
observations. Generating 3D Models From Visual Data: Imagine creating 3D photos, holograms, or your own custom video game content from a quick video observation. We develop generative 3D models from 2D or 3D
-
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