Sort by
Refine Your Search
-
Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig | Leipzig, Sachsen | Germany | 3 months ago
institute of the Max Planck Society and is dedicated to the study of human cognitive abilities and brain processes as well as the development of neuroimaging methods. The Brain Networks Group, led by
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
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 essentially new methods
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification