-
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
-
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
-
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