67 software-formal-method-phd PhD positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
05.02.2025, Wissenschaftliches Personal The Chair of Energy Systems seeks to fill a fulltime position at the earliest possible date as a Research Associate / PhD student (m/f/d) in the field
-
04.04.2025, Wissenschaftliches Personal We, the Chair of Logistics and Supply Chain Management (TUM), are seeking a highly motivated PhD candidate for a position in Human-AI Interaction and
-
05.01.2025, Wissenschaftliches Personal The group “sustainable energy materials” offers a position to pursue a PhD (f/m/d) in Electrochemistry / Automation About us: Our group “Sustainable Energy
-
15.01.2025, Wissenschaftliches Personal As part of a recently funded collaborative research project between Germany and Belgium, we offer two PhD positions. One position will be based
-
07.01.2025, Wissenschaftliches Personal The Plant Ecophysiology Unit of the TUM School of Life Sciences is looking for a PhD student to start on 1 March 2025 (or later). The aim is to improve our
-
28.07.2023, Wissenschaftliches Personal Prof. Karen Alim’s group on Biological Physics and Morphogenesis at the TUM Campus Garching uses theoretical and experimental methods to investigate how flow
-
paid PhD position in the area of Natural Language Processing starting as soon as possible. Your responsibilities Research & development projects in the area of Software Engineering. Possible areas
-
failure mechanisms. The performance of the developed methods will be evaluated using real operating data. In addition, it will be investigated how reliability and safety conditions can be taken into account
-
. The main focus is developing and characterizing metallic high-performance materials for/through additive technologies using experiments and computer-aided methods. Furthermore, the chair is dedicated
-
computer science, electrical engineering, control systems, or a related field. • Prior experience in reachability analysis, formal verification methods, control theory, or related domains. • Proficiency in