Sort by
Refine Your Search
-
- 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
-
to emerging carbon dioxide removal techniques. To this end, distributed pelagic imaging techniques enable the sustained observation of aquatic life and its debris, comprehensively covering the earth’s water
-
Fritz Haber Institute of the Max Planck Society, Berlin | Berlin, Berlin | Germany | about 11 hours ago
project within the SusMax network focused on developing interpretable machine-learning frameworks for kinetic multiphase reaction-network discovery in the catalytic conversion of renewable feedstocks
-
. Close interaction with other research groups at the institute, in particular with the nonlinear algebra group of prof. Bernd Sturmfels, will be possible and encouraged. We are currently developing some
-
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
-
Fritz Haber Institute of the Max Planck Society, Berlin | Berlin, Berlin | Germany | about 1 month ago
intensity and broad energy spectrum, make these sources ideally suited for in situ and operando investigations of advanced materials. At the same time, recent developments in lab-based XAS spectrometers
-
Developing new methods and concepts in mesoscale bioinspired materials and/or soft matter physics for independent and internationally visible cutting-edge research Independent preparation of scientific
-
will join the newly established research group of Dr. Torsten V. Zache at the Technical University of Munich. Our group is broadly interested in the theoretical development and application of quantum
-
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
-
the programme as a tandem Academic Requirements Predocs: graduates (Master's, Diploma or State Examination) from a German or international university in the transition phase at the end of their university studies