-
to reason about software (e.g., LLM agents for finding and fixing bugs) Static and dynamic program analysis (e.g., to infer specifications) Test input generation (e.g., to compare the behavior of old and new
-
; safe handling of inert gas techniques; knowledge of analytical methods for molecular chemistry; Microsoft Office and chemical software handling; confident presentation of scientific results in English
-
of transportation engineering, railway system engineering, civil engineering or related courses of study a working knowledge of industry-standard planning software a good command of German and English, both
-
chemical software handling; confident presentation of scientific results in English and preferably in German. TUD strives to employ more women in academia and research. We therefore expressly encourage women
-
simulations Lead the development of a real-time capable software architecture for simulations, as well as processor and hardware-in-the-loop experiments Lead the design and development of an advanced test