Sort by
Refine Your Search
-
by sending your application letter, with an up-to-date CV, via the 'apply' button. Screening is part of the selection procedure. At the bottom of this vacancy you will find the contact details
-
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