-
student will be involved in is led by Associate Professor Moa Bursell, who will also serve as the main supervisor for the PhD student. The Wallenberg AI, Autonomous Systems and Software Program – Humanity
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions