-
and application Are you interested after reading about this vacancy? Applications for this position will be reviewed on a rolling basis. The vacancy will remain open until we find and onboard the right
-
completely by yourself in English. Contact information of two references who we may contact. We will review applications on a rolling horizon. As soon as we find a suitable candidate, we will arrange
-
to find out more about MOR , SACS and MDS . Our research group, Stochastic Operations Research (SOR), conducts mathematical education and research of internationally high standards in the areas
-
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
-
soon as we find a suitable candidate, so we encourage early applications. Your application must include: A cover letter (maximum 2 pages A4), explaining your specific interest, qualifications, and
-
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