2 proof-checking-postdoc-computer-science-logic Fellowship scholarships at University of Adelaide
-
This PhD scholarship is funded by an Australian Research Council Industry Fellowship grant. It is a 3.5-year research training program. The ARC Industry Fellowship program aims to develop a strong
-
the direction of A/Prof Claudia Szabo in the School of Computer and Mathematical Sciences at the University of Adelaide. The project is a collaboration with Defence Science and Technology Group, within the Combat
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions