1 formal-verification-computer-science PhD positions at Universität Heidelberg in Germany
Sort by
Refine Your Search
-
be either from computer science, experimental or theoretical physics, one co-supervisor will be from the complementary field. Formal application for all positions will have to be sent through the HGSFP
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions