Sort by
Refine Your Search
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
12.08.2026, Academic staff The newly established Fundamentals of Programming Group at the Technical University of Munich (TUM) invites applications for - PhD students - Postdoctoral researchers Our
Searches related to logic phd
Enter an email to receive alerts for logic-phd positions