Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- Monash University
- Curtin University
- The University of Queensland
- University of Adelaide
- University of New South Wales
- CSIRO
- Nature Careers
- Queensland University of Technology
- RMIT University
- Flinders University
- RMIT UNIVERSITY
- University of Southern Queensland
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- Australian National University
- Central Queensland University
- University of Technology Sydney
- 6 more »
- « less
-
Field
-
formula is true or false (EXPTIME vs NP). Can we develop and implement efficient algorithms for this problem? This problem has been attacked using multiple different methods for the past 40 years, without
-
the given non-classical logic. The proof of the claim contains an algorithm for deciding whether an arbitrary formula is true or else false! This proof can then be exported automatically to produce a formally
-
, programming, algorithms, and data analysis skills Outstanding research skills Applicants with Master degrees by research with technical publications and research experiences in structural dynamics and
-
This project aims to develop robust algorithms capable of identifying and analyzing fingertips extracted from both static images and video footage. Machine learning techniques, particularly computer
-
experiments for months before the value of output y is measured for some given input x. This creates an exciting challenge for AI researchers to develop smart algorithms that can find the optimal value of input
-
and polyploid crop species and benchmark them against other methods such as graph-based methods. This project will combine algorithm development and computational programming with large population
-
queries, and automating data transformations. By combining advancements in natural language understanding, algorithm synthesis, and debugging, the proposed framework will enable developers to efficiently
-
research on designing mobile energy hubs, energy systems integration, resilience analysis, and developing digital twin models and AI-enabled algorithms. You will conduct lab and field tests, analyse data
-
This PhD project is part of a larger project that aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain
-
We are excited to offer a fully funded PhD position at the Faculty of Engineering, Monash University (Australia). This project focuses on developing new algorithms to equip social robots with