Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
automatic formal verification of cyber-physical systems. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international
-
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
-
approaches and will integrate novel hardware (including electrode arrays, microdevices, analytical systems) into automated robotic pipelines You will also apply machine learning-based analyses to imaging and
-
conditions Couple the power electronics model with electrochemical battery models Support efforts towards hardware-in-the-loop (HIL) integration of the developed models Collaborate with project partners and
-
‘verification’ within the Cluster. Collaboration with colleagues at the Cluster, at PRIF and at JLU. Support for the local, national, and international networking activities of the Research Group, the Cluster and
-
physics experiments (example here ) AI-driven discovery of hardware for some of the most thought after quantum information technology, quantum-enhanced microscopes and telescopes (example here ), and AI
-
Max Planck Institute for Extraterrestrial Physics, Garching | Garching an der Alz, Bayern | Germany | 2 months ago
-energy group carries out major space hardware activities in support of its astrophysics research program, including the development of X-ray detectors and X-ray optics. The group has contributed
-
Max Planck Institute for Dynamics and Self-Organization, Göttingen | Gottingen, Niedersachsen | Germany | 2 months ago
develop our state-of-the-art imaging systems by optimizing the hardware and integrating real-time data processing and analysis through machine learning techniques to achieve precise characterization
-
object handling, or related domains Hands-on experience with robotic hardware (e.g., robot arms, tactile sensors) Familiarity with model-based planning approaches, robot force/motion control, and
-
communication theory, as well as in quantum coding theory ▪ Interest in theoretical work with high practical relevance ▪ Interest in demonstrating research results on a hardware platform ▪ Software: Experience