Sort by
Refine Your Search
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
29.09.2025, Wissenschaftliches Personal We are inviting applications for a postdoctoral position in Haptic Teleoperation and Shared Control at the Munich Institute of Robotics and Machine
-
06.10.2025, Wissenschaftliches Personal We are seeking outstanding candidate for a Postdoctoral position in the field of robot motion and control algorithms for soft material handling, starting
-
We are seeking outstanding candidate for a Postdoctoral position in the field of robot motion and control algorithms for soft material handling, starting immediately. We are seeking a highly
-
23.10.2025, Wissenschaftliches Personal Automated cell culture systems are transforming the way we study complex biological processes. By enabling reproducible, standardized, and high-throughput
-
often represented in large neural networks that are hard to analyze and whose decision processes cannot be interpreted by humans. To make this technology available without sacrificing safety concerns, we
-
and control system for real-time control and operation at autonomy level 3 as defined by the International Maritime Organization (IMO 1). The control system to be developed will almost completely avoid
-
Iterative Algorithms: Optimization and Control.” About the Project The focus of the project is the analysis of iterative algorithms arising from time discretizations of nonlinear evolutions of various kinds
-
prototypical energy management systems (EMS) controlling complex energy systems like buildings, electricity distribution grids and thermal energy systems for a sustainable future. These EMS coordinate
-
are currently stuck in academia and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this