Sort by
Refine Your Search
- 
                
                Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg | Magdeburg, Sachsen Anhalt | Germany | about 4 hours agoJob Offer from October 29, 2025 A doctoral and a postdoctoral position in computational biology / biomathematics / biosystems engineering are available in Steffen Klamt’s group Analysis and Redesign 
- 
                
                
                06.09.2021, Wissenschaftliches Personal The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is 
- 
                
                
                - 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 
- 
                
                
                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 
- 
                
                
                , Human-Computer Interaction, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related 
- 
                
                
                stage. This is a transport ship with kite-based propulsion and an additional diesel engine to bridge port trips and wind lulls. In this project, we develop with CargoKite a new type of collision avoidance 
- 
                
                
                , for example, the natural and engineering sciences or medicine Strong interdisciplinary exchange with the applied sciences, e.g., for model validation or the identification of relevant extensions Mathematical 
- 
                
                
                -class, foundational research in the sciences, technology, social sciences and the humanities. They offer a unique environment that combines the best aspects of an academic setting and a research 
- 
                
                
                technology. Our pre-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is 
- 
                
                
                study the degradation/evolution of the sensor chemistries under operating conditions. Qualified applicants must have: • A master's degree/PhD in chemistry, chemical engineering, materials science, or