Sort by
Refine Your Search
-
Category
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
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
-
decision-making algorithms on real robotic systems operating in unstructured and dynamic environments. This work is connected to the Robotics Institute Germany (RIG) and relates to the thematic cluster
-
. In the ELUD research project, we address the question of if and when learning agents converge to an efficient equilibrium and when this is not the case. ELUD will design new algorithms for computing
-
questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG. The project’s overarching goal is the
-
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
-
algorithms, and prototypical systems controlling complex energy systems like buildings, electricity distribution grids and thermal systems for a sustainable future. These systems coordinate distributed
-
14.12.2022, Academic staff The BMBF-funded position is part of the CoMPS project, which is a multidisciplinary project combining the fields of mathematics, computer science, geophysics, and high