Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Monash University
- University of New South Wales
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of Sydney
- Queensland University of Technology
- The University of Newcastle
- The University of Queensland
- UNIVERSITY OF SYDNEY
- UNIVERSITY OF WESTERN AUSTRALIA
- CSIRO
- Curtin University
- La Trobe University
- Macquarie University
- Murdoch University
- RMIT University
- The University of Western Australia
- UNIVERSITY OF MELBOURNE
- University of Southern Queensland
- WESTERN SYDNEY UNIVERSITY
- 9 more »
- « less
-
Field
-
Research Associate in Logical Foundations of Planning. In this role you will work closely with Dr Rubin on research projects, and contribute to the collegial culture of the Sydney Algorithms and Computing
-
formative assessment and personalised feedback while ensuring fairness, accountability, and transparency. The research will explore a combination of algorithmic design, human–AI interaction, and empirical
-
algorithm that allows accurate simulation of fluid transport processes in porous media coupled with chemical reactions (e.g. dissolution and precipitation). The algorithm will be validated firstly against
-
estimation methods for deep neural networks. A principled Bayesian framework for multimodal uncertainty modeling. Robust learning algorithms under missing modalities and distribution shifts. New uncertainty
-
algorithms for resource-efficient hydroponics and evidence-based frameworks for integrating green space exposure for improved student wellbeing. This project will potentially enhance urban food resilience
-
broad range of topics: from model-predictive building control and community battery integration to wind farm optimisation and multi-decade investment planning, we support clever algorithms and data
-
that operate at scale and complexity. You will apply strong software engineering practices to solve complex technical challenges, helping to bring advanced algorithms into real-world operational environments
-
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
-
algorithms for computing MML solutions beyond the one-dimensional case. Extend existing dynamic programming approaches to higher-dimensional problems or develop novel approximation methods that preserve
-
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