201 proof-checking-postdoc-computer-science-logic positions at University of Adelaide
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
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
-
must: Be enrolled in first or second year of a Bachelor of Engineering (Honours)(Civil) program of study including associated double or combined programs Be an Australian Citizen, Permanent Resident
-
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
-
packages and a track record of delivery on project-based work. To be successful at Level HEO8 you will need: Have excellent and extensive industry experience in computer science, data science or (applied
-
the direction of A/Prof Claudia Szabo in the School of Computer and Mathematical Sciences at the University of Adelaide. This position will work with our partners Praetorian Aeronautics and their testing team
-
into student engagement trends, you will help shape strategies for marketing, program promotion, and the recruitment of diverse student cohorts. Working under the guidance of the Lead, Domestic Undergraduate
-
, contributing to ground-breaking discoveries with real-world implications for cancer patients. To be successful you will need: A PhD in (awarded or near completion) in Computational Biology, Computer Science
-
to an engineering testing/research environment. Recognised competencies and demonstrated experience with using metal workshop machinery and fabrication equipment, working in a customer focused environment