Sort by
Refine Your Search
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
, equitable, trustworthy, and context-sensitive. Multi-agent architectures where multiple AI systems collaborate, negotiate, and adapt to model complex human learning processes and support group work
-
propose to combine machine learning techniques with formal methods. We will focus on safe reinforcement learning of motion planning problems for autonomous vessels. Motion planning is particularly
-
track-record in first-author scientific publications for Postdoc applications Experience with data-driven machine learning methods for modelling (PINN, Sparse Symbolic Regression methods) High willingness
-
interdisciplinary field that tackles fundamental questions across all domains of population research by combining the methods and perspectives of computational sciences, social and behavioral sciences, and statistics
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
data analysis experts. The main tasks include the analysis of complex biomedical data using modern AI methods, as well as the development of novel machine and deep learning algorithms to understand
-
pollution, an existential threat to Europe and the world, impacts the safety, comfort and health of humans and vegetation. It is the largest environmental cause of multiple mental and physical diseases and of
-
the different types of systems and develop a core graph data system that can serve as a common building block. This way, redundancies in keeping multiple cop-ies of graph data in different systems could be