-
. Desirable Criteria: Interest in application of research to Defence and Intelligence domains, and collaboration with industry Familiarity with formal mathematical proofs and analytical methods, or numerical
-
the Division of Research and Innovation as part of the co-investment from the University of Adelaide. This program will support twelve full-time PhD students commencing studies from 2025 to 2027. In 2025, we
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions