-
phase locked loops. The group is a world leader and initiator of many new research directions which also find their application in industrial products. The group has a strong collaboration with the global
-
existing methods address safety (e.g., via reachability), reasoning about liveness remains challenging. You will design causal frameworks to detect, explain, and support recovery from liveness violations
-
application before June 30, 2025. We will fill this position as soon as we find the right candidate, so we encourage early applications. Your application must include: A cover letter (maximum 2 pages A4
-
new research directions which also find their application in industrial products. The group has a strong collaboration with the global semiconductor industry. Are you interested in a PhD position at the