Sort by
Refine Your Search
-
Category
-
Field
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
Responsibilities Conduct research in computational methods for environmental and engineering applications. Develop and analyze numerical algorithms, reduced-order models, and machine-learning-enhanced simulation
-
modeling and simulation • Development in Finite element and alternative discretization methods (e.g. Lattice Boltzmann methods) • High-dimensional algorithms and high-performance computing
-
, and unmodeled dynamics remains a key challenge. This position focuses on developing and validating methods that jointly address safety, performance, and reliability of learning-based control and
-
development of digital quantum algorithms for the simulation of non-abelian lattice gauge theories. We are looking for highly motivated individuals, with the desire to perform theoretical physics research
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic
-
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 methods, machine learning
-
complex multiphysics problems. The coupling is done across package boundaries. This also requires more sophisticated approaches in load-balancing. Finally, the newly developed algorithms will be tested and