172 formal-verification-computer-science positions at University of Adelaide in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Job no:517362 Work type:Fixed term - Full-time Campus:Adelaide Categories:HEO5, Faculty of Sciences, Engineering and Technology (HEO5) $82,922 - $92,203 per annum plus an employer contribution of 17
-
Mathematics, Data Science, Computer Science Engineering, Artificial Intelligence, and Information Technology will also be considered, but it will further be required that they also have a strong interest in
-
intelligence as a Professorial Research Fellow in AIML. To be successful you will need: A doctorate (or equivalent) and research experience in computer science, machine learning, AI/software engineering or a
-
Job no:517448 Work type:Fixed term - Full-time Campus:Adelaide Categories:Information and Communications Technology, HEO7, Faculty of Sciences, Engineering and Technology (HEO7) $101,785 - $113,839
-
you will need: A PhD in Forensic Science, Electrical Engineering, Computer Science, Data Science, Criminology or related area (or near completion). A record of high-quality research outputs, including
-
. The faculty is responsible for teaching and research across wide range of disciplines including Engineering, Computer and Mathematical Sciences, Architecture, Biology, Physics, Chemistry and Earth Sciences
-
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
-
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
-
applications in timing and biology, quantum circuits and quantum computing. Projects will be available at the University of Adelaide, RMIT and the University of Queensland. Eligibility: Applicants must be
-
Honours degrees in the following disciplines, or with equivalent research or work experience will be favourably considered: Computer and Data Science; Applied Mathematics and Statistics. Number