Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Monash University
- AUSTRALIAN NATIONAL UNIVERSITY (ANU)
- University of New South Wales
- University of Sydney
- Macquarie University
- Queensland University of Technology
- The University of Newcastle
- UNIVERSITY OF SYDNEY
- CSIRO
- Curtin University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- RMIT University
- The University of Queensland
- University of Southern Queensland
- WESTERN SYDNEY UNIVERSITY
- 5 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
-
developed and implemented such methods for a plethora of non-classical logics [2]. But how can we guarantee that the implementation is faithful to the theory? Indeed, how can we be sure that we have not made
-
cryptography, quantum algorithms and cryptography, foundational theory and mathematics, and the design and analysis of cryptographic primitives and protocols, contributing to high-impact research outcomes and
-
package totalling approximately $47,000 per annum tax exempt (2025 rate) a four-year Research Training Program (RTP) Fee-Offset a four-year project expense and development package of $13,000 per annum a
-
cryptography, quantum algorithms and cryptography, and the design and analysis of cryptographic primitives and protocols, while playing a key role in advancing the School’s research profile, industry engagement
-
This PhD project aims to mitigate the data scarcity of new NLP and Multimodal applications by developing novel active learning algorithms. In this project, the student will leverage large foundation