Sort by
Refine Your Search
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | 3 months ago
, and test reports. Collaborate with system engineering, electronics, software teams, and external partners. Support integration and verification campaigns at AEI and partner facilities. Ensure compliance
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
to extend our activities into one or more of the following directions: Methods and software tools for the design and validation of ETCS systems Modeling search problems with realistic train movementss
-
new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g