An Algorithmic Study of Polarization in Online Social Networks
Ahad N. Zehmakan
1 Jan 2025
Motivation
How Accurate Are Information Spreading Models?
Ahad N. Zehmakan, Jing Jiang
1 Jan 2025
Background
Development of a Portable Automated Photogrammetry Robot for Producing Image Datasets of Museum Objects
Charles Gretton
6 Feb 2025
Design and develop a portable automated photogrammetry robot capable of capturing high-quality image datasets of objects in museum collections using a single camera and a ring flash.
Develop a verifiable model artificial neural network model for 3D fusion plasmas
Matthew Hole, Charles Gretton
19 Feb 2025
Artificial Intelligence (AI) is a potential killer app for fusion power, with demonstrated potential for real-time control and magnetic field optimisation. While powerful, a challenge for AI is the degree to which...
PhD Scholarship in Concurrency Verification
Nisansala Yatapanage
26 Feb 2025
A scholarship is available in formal methods for concurrency verification.
[Domestic PhD scholarship] AI-supported team work in video games
Penny Kyburz
3 Mar 2025
$41,650 stipend plus training, cost of living, and travel allowances, includes placement with DSTG
[Domestic PhD scholarship] Towards a periodic table for large language models
Penny Kyburz
3 Mar 2025
$41,650 stipend plus training, cost of living, and travel allowances, includes placement with Gradient Institute
[Domestic PhD scholarship] Justice in the Metaverse
Penny Kyburz
13 Mar 2025
$41,650 stipend plus training, cost of living, and travel allowances, includes placement with Portable
Disentangling Design Legacies in Technology
25 Mar 2025
This is a speculative design project in the field of human-computer interaction aiming to create new design science for addressing design legacies in technology.
Internship: XtreamCompute
1 Apr 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Mechanised Graph Theory - Advanced Topics
Chun Tian, Michael Norrish
1 Apr 2025
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Graph Theory Units: 24 units
Mechanised Probability Theory - Martingales
Chun Tian
1 Apr 2025
Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Probability Theory
Internship: Empreus IT Support
2 Apr 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Multi-modal learning for real-time diagnostic and prognostic control in additive manufacturing
Amanda Barnard AM
1 May 2025
Collaborator on a real-world project developing real-time control systems using multi-modal deep learning
Advancing parameter-free and architecture aware optimisation for deep networks
Dylan Campbell
8 May 2025
Neural network optimisation without hyperparameters
Vector Search for the LLM Era
Mengxuan Zhang
10 May 2025
This project offers an exceptional opportunity to work at the intersection of databases, algorithms, and modern AI systems—developing skills that are in high demand across industry and academia.
Internship: McCusker Institute
19 May 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Internship: Napping AI (Multiple projects available)
19 May 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Internship: School of Engineering
19 May 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Internship: Zepben Logs-as-a-service Feature
19 May 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Internship - Zepben Monitoring Enhancements
19 May 2025
This internship position is being offered through the Computing Internships course COMP4820/8830. You must follow the instructions on the Computing Internships webpage to apply.
Embedding Incorrectness Logic into Dynamic Logic
Liam O'Connor
30 May 2025
Peter O’Hearn’s recent Incorrectness logic is a program logic similar to Hoare Logic which is intended for showing the presence, rather than the absence of bugs. Dynamic logic is a type of...
Extending Pattern Unification in the Holbert Proof Assistant
Liam O'Connor
30 May 2025
Central to the implementation of a theorem prover is the concept of unification, the process of taking two logical terms A and B and finding a substitution θ such that θ(A) and...
Formally Verified Raster Drawing Algorithms
Liam O'Connor
30 May 2025
Raster drawing algorithms are algorithms that render continuous geometric shapes (lines, circles, curves) in a discrete 2D pixel space. Examples include Bresenham’s line drawing and circle drawing algorithms. These algorithms are intricate,...
Proof assistant-supported program derivation
Liam O'Connor
30 May 2025
Morgan’s refinement calculus (as described in his book, Programming from Specifications, available online) gives an elegant way to derive sequential programs from their specifications in a step-by-step way, ultimately resulting in a...
Formal Verification of Trusted Devices
Alex Potanin
6 Jun 2025
Do you have a background or willing to do a deep dive into Lean Theorem Prover? Do you have an interest in low-level hardware or embedded devices programming? Are you interested in...
Security and Programming Languages
Alex Potanin
6 Jun 2025
Making Software Trustworthy and Secure
Responsible AI Research Projects @ANU-Xiaoyu Sun
Xiaoyu Sun
12 Jun 2025
We are seeking highly motivated Honours/Master students to work on the following research projects to progress responsible AI research. Opportunity for a further PhD study is possible depending on student’s performance in...