186 proof-checking-postdoc-computer-science-logic positions at University of Adelaide in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
their Master's degrees in AI and machine learning. Join AIML's research community and contribute to shaping the future of industrial AI. This innovative program is supported by the South Australian Government
-
learning. This program allows students to conduct cutting-edge AI research at a world-class institute and provides travel funding to gain valuable experience working with international collaborators in
-
-leading research and teaching. Why Join Us? The University is the third-oldest university and a member of the prestigious Group of Eight (Go8). Our Engineering program is ranked 46th in the world in
-
peer-reviewed literature An interest in global change ecology, macroecology, biogeography, or conservation biology Strong computational and analytical programming skills A good knowledge of advanced
-
Job no:516915 Work type:Fixed term - Full-time Campus:Adelaide Categories:Level A, Faculty of Sciences, Engineering and Technology Level A ($102,024 to $109,307) per annum plus an employer
-
program Have already completed 24 units and have at least 12 units remaining in their Bachelor of Engineering program upon their return from travel Be an Australian Citizen or Permanent Resident
-
The Fulbright Program empowers Australian citizens to pursue transformative study and research experiences in the United States. With a 75-year legacy of academic and cultural exchange, Fulbright
-
PhD in Computer Science, Engineering or other Machine Learning-related field. • Programming experience in python, C++ or other relevant language and experience in deep neural networks • Strong
-
methods for provable network security. The School of Computer and Mathematical Sciences is recruiting a research fellow to work on next generation network security technologies. Join a world-class research
-
the financial sector. Regular progress reports and presentations to both AIML and CommBank stakeholders. To be successful you will need: A PhD in Mathematics, Computer Science, Engineering or other Machine