-
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
-
of models in existing simulation software conducting numerical studies, also on HPC systems Further specific tasks can be tailored to the attitude and interests of the PhD students/postdocs. Requirements
-
areas: software testing, runtime monitoring or diagnostics combined with a desire to embed these in today's assurance processes. Knowledge of software development methods (especially agile methods such as
-
Description The Institute for Software and Systems Engineering (ISSE) of the University of Technologies Clausthal is hiring a academic researcher in the field of stakeholder networking & living lab
-
; 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
-
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
-
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