Sort by
Refine Your Search
-
are possible in consultation with the PhD supervisor. At the beginning of September, there is an IMPRS welcome workshop during which the students are introduced to the course programme and the formalities (e.g
Searches related to formal method
Enter an email to receive alerts for formal-method positions