2 software-formal-method-phd Postdoctoral positions at Universiteit van Amsterdam in Netherlands
-
for Explainable AI”, funded by the Dutch research council (NWO). You will be part of a team with two PhD students, supervised by Dr. Tim van Erven. This is what you will do Explainable AI (XAI) is a hot topic in
-
dynamical systems. The position is part of the research project “A Rigorous Framework for Transient Random Dynamics”, funded by the Dutch Research Council (NWO). You will be part of a team with a PhD student
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions