Full PhD Scholarship: Query efficiency or scalability improvement of Vector Database
Mengxuan Zhang
28 May 2024
Introduction
Story planning: unlimiting creativity
Patrik Haslum, Hanna Suominen
1 Jun 2024
The plot (or narrative) of a story has some similarity with a plan, as it is usually defined in classical AI planning. This has led researchers to investigate planning-based approaches to automatic...
Case Studies for Formal Methods
Peter Hoefner
11 Jun 2024
formal methods, formal modelling
[$10K Scholarship for domestic Honours] Justice in the Metaverse
Penny Kyburz
25 Jun 2024
$10K stipend, $5K training allowance, apply by 14 July
Mechanised Graph Theory - Advanced Topics
Chun Tian, Michael Norrish
3 Jul 2024
Keywords: Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Graph Theory Units: 24 units
Graph Embedding for Road Network Clustering
Mengxuan Zhang
8 Jul 2024
Introduction
Mechanised Probability Theory - Martingales
Chun Tian
8 Jul 2024
Interactive Theorem Proving, Proof Mechanisation, Higher Order Logic, Probability Theory
Deep Learning for Efficient Route Planning
Qing Wang, Muhammad Farhan
16 Jul 2024
Finding optimal routes between two points in a road network is a crucial challenge for navigation platforms used by millions of users daily. Users typically seek routes that minimize travel distance or...
AI for Science
John Taylor
19 Jul 2024
AI/ML methods are revolutionizing scientific discovery. In this project we invite you to build novel AI/Ml Algorithms and apply them to a range of challenging science and engineering domains. Example application areas...
New approaches to HPC: Cache only programming
John Taylor, Shoaib Akram
19 Jul 2024
With the growth in the size of HPC systems measured for example in the number of CPUs and the growth in the amount of cache, especially L3 cache per CPU, it is...
Predicting Student Enrolment Numbers
Peter Hoefner, Bernardo Nunes
22 Jul 2024
(6+6 project only)
Extending Pattern Unification in the Holbert Proof Assistant
Liam O'Connor
4 Sep 2024
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...
A human-readable file format for mathematical theories
Liam O'Connor
4 Sep 2024
Project Description:
Verification Projects - various levels
Nisansala Yatapanage
14 Sep 2024
Project Area
Verifying Algorithms Using Cooperative Methods
Peter Hoefner
17 Sep 2024
Units: 12 (6+6) or 24 (Honours)
Building a Programming Language Ecosystem
Fabian Muehlboeck
26 Sep 2024
In the course of research on language design and implementation for gradually-typed languages, we have created a programming language called MonNom as a test bed for new ideas and to benchmark implementation...
Gradual Typing - Language Design and Implementation
Fabian Muehlboeck
26 Sep 2024
Gradual Typing is the idea of using both static and dynamic typing in the same program. Most notably, TypeScript is a gradually-typed version of JavaScript, allowing users to add statically-checked type annotations...
Language Design for IDEs
Fabian Muehlboeck
26 Sep 2024
Prerequisites A good understanding of programming in a statically typed language. It is useful if you have already taken a compilers course or have acquired a basic understanding of parsing elsewhere. It...
Internship: Dept. of Health and Aged Care - Statistical modelling to predict fraud and non-compliance in health data
30 Sep 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: Dept. of Health and Aged Care - Using natural language processing to extract information from unstructured health...
30 Sep 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Formally Verified Raster Drawing Algorithms
Liam O'Connor
8 Oct 2024
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,...
Embedding Incorrectness Logic into Dynamic Logic
Liam O'Connor
9 Oct 2024
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...
Internship: Dept. of Health and Aged Care - Data Science Section Horizon Scanning Project
11 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: Research Graph Foundation - Developing AI Pipelines
21 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: Research Graph Foundation - Knowledge base about AI Technologies
21 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: Trellis Data Group - Democratise Deep Learning Through Algorithmic Optimisation
21 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
[Full PhD Scholarship] Transfer Learning with Diffusion Models (DARPA)
Dylan Campbell, Jing Zhang, Richard Hartley
22 Oct 2024
Full PhD stipend, apply by 10 November
Internship: Overflow Solutions - AI Managed Service
25 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
KV Cache Compress for LLM Efficiency
Mengxuan Zhang
25 Oct 2024
Are you interested in exploring the recent advancements in the capabilities of AI Models???
Internship: Eolas Solutions
28 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: CMTEDD
30 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: Robinson Ryan
30 Oct 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Advancing parameter-free and architecture aware optimisation for deep networks
Dylan Campbell
4 Nov 2024
Neural network optimisation without hyperparameters
Backpropagation-Free Gradient Estimation for Scalable Deep Learning
Dylan Campbell
4 Nov 2024
Training large neural networks efficiently without backpropagation
Implementing Transactions and Persistence for WebAssembly
Antony Hosking, Steve Blackburn
4 Nov 2024
Keywords
Internship: Evolutioned - AImbient
5 Nov 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830])
Internship: XtreamCompute: Developing advanced test platforms for Streaming Solution
5 Nov 2024
This position is offered through the ANU Computing Internship ([COMP4820] / [COMP8830]) Company
Accelerated Satisfaction
Charles Gretton
15 Nov 2024
SAT and #SAT solving in modern heterogeneous HPC environments, making use of GPUs and other accelerators to improve overall scalability and performance.
Discovering Subproblems in SAT and #SAT using HPC
Charles Gretton
15 Nov 2024
Boolean SAT(isfiability) and the related “counting” #SAT problem can be slow to solve on a serial computer. Use distributed HPC to cut formulae up into smaller pieces, so that search can then...
Learning to control a primary mirror
Charles Gretton
15 Nov 2024
Reinforcement Learning for Estimation and Control in Terrestrial Telescopes.
Satisfaction can be Relaxing
Charles Gretton
15 Nov 2024
Revisit, review, and evaluate semi-definite programming (SDP) relaxations of the Boolean SAT problem.
Security and Programming Languages
Alex Potanin
15 Nov 2024
Making Software Trustworthy and Secure
Staring at the Night Sky
Charles Gretton
15 Nov 2024
Research state-of-the-art algorithms in statistical machine learning and computer vision, and develop a computer vision system that can classify images of the sky.
Transformers for Ramsey Colorings
Charles Gretton
15 Nov 2024
go big or go home
Executable Process Algebras
Peter Hoefner, Fabian Muehlboeck
18 Nov 2024
Process Algebras (or Process Calculi) are a diverse family of related approaches for formally modelling concurrent, distributed and parallel systems. Theyi provide a tool for the high-level description of interactions, communications, and synchronizations...
Implementing a Semantics for Pipelining in Racket
Roger Su, Peter Hoefner, Fabian Muehlboeck
18 Nov 2024
Keywords: Concurrency; operational semantics; memory models Units: 12/24 units
Modelling, Analysing and Verifying Routing Protocols
Peter Hoefner, Ian Shillito
18 Nov 2024
Keywords: process algebra, formal modelling, formal methods Units: 12/24 units
Algorithms in Robotics for Task and Motion Planning
Rahul Shome
20 Nov 2024
Computational problems in robotic planning and decision-making.
Return To Tradition: Learn to Plan
Dillon Chen
1 Dec 2024
This project is only available for a summer project e.g. ASC for PhB students.
Responsible AI Research Projects @ANU-Xiaoyu Sun
Xiaoyu Sun
1 Dec 2024
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 these...