-
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
-
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
-
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
Enter an email to receive alerts for algorithm-development-"https:" positions