1 formal-verification PhD positions at Max Planck Institute for Extraterrestrial Physics •
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 verification
Enter an email to receive alerts for formal-verification positions