46 algorithm-development-"The-University-of-Edinburgh" Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
and one Postdoctoral position in the field of robot motion and control algorithms for soft material handling, starting September 2025. We are seeking highly qualified and motivated individuals with a
-
20.09.2025, Wissenschaftliches Personal We are seeking a PhD or Postdoctoral researcher to join the AI in Orthopaedics group (TUM & TUM University Hospital). The position focuses on developing
-
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
-
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
-
Iterative Algorithms: Optimization and Control.” About the Project The focus of the project is the analysis of iterative algorithms arising from time discretizations of nonlinear evolutions of various kinds
-
. The project’s overarching goal is the development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire
-
algorithms into an existing framework, with a focus on efficiency, as well as creation and execution of relevant simulation pipelines: from real data to mathematical and clinically actionable results
-
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