17 algorithm-development-"University-of-Surrey" Postdoctoral scholarships at Technical University of Munich in Germany
-
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
-
. 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
-
- 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
-
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
-
of health, the future of work, and the future of mobility. More than 50 professors from various TUM faculties cooperate within the framework of MSRM. The research focus of RSI is the development of control
-
for quantum computers and develop methods and software tools dedicated to the design and realization of quantum algorithms/circuits. We see ourselves as an interface between the stakeholders building physical
-
• Integrated sensing and communication: fundamental limits and algorithm design (1 PhD, Mari Kobayashi, mari.kobayashi@tum.de) • Optical fiber channel modeling, receiver processing, and coding (1PhD, Gerhard