47 algorithm-development-"University-of-Surrey" Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
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
-
algorithmic algebra. For more information about the TUM Department of Mathematics, please visit our website: https://www.math.cit.tum.de/en/math/home/. The position is a full-time position (100%), initially
-
- 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
-
, collaborating with several research groups working in related fields, particularly in algebraic geometry and algorithmic algebra. For more information about the TUM Department of Mathematics, please visit our
-
on the design and evaluation of innovative data- and machine learning-based systems to integrate more renewable energy into our energy systems and make energy use more efficient. We develop new optimization
-
MesaPD to solve complex multiphysics problems. The coupling is done across package boundaries. This also requires more sophisticated approaches in load-balancing. Finally, the newly developed algorithms
-
of Orthopaedics and Sports Orthopaedics and the Institute for AI and Informatics in Medicine. We work at the intersection of artificial intelligence, medical imaging, and clinical practice, developing methods
-
this interdisciplinary project, we are looking for a strong candidate to contribute to the development of quantum algorithms and applications, focusing on quantum walks and quantum machine learning on graph structures
-
computer science with very good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience
-
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