634 proof-checking-postdoc-computer-science-logic positions at Monash University in Australia
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
- Computer Science
- Medical Sciences
- Economics
- Engineering
- Business
- Science
- Biology
- Linguistics
- Humanities
- Materials Science
- Arts and Literature
- Law
- Mathematics
- Psychology
- Education
- Philosophy
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
music technology have allowed us to remap the connection between our bodies and sound. Though music and movement have always been intrinsically linked, the rise of the laptop DJ broke that nexus. At worst
-
This project aims to harness big data from ubiquitous smartphone sensors to reduce the impact of road transport on the environment. Specifically, we’ll design novel data modelling and indexing techniques to exploit the data and create a next-generation, eco-friendly navigation system which will...
-
On their own, traffic accidents cause 1.3 million fatalities every year – and improper situational awareness is often a major cause. This project aims to exploit big spatio-temporal data to design intelligent techniques for scheduling and offloading tasks to the cloud and peer vehicles. This...
-
Modern map-based systems and location-based services rely heavily on the ability to efficiently provide navigation services and the capability to search points of interests (POIs) based on their location or textual information. The aim of this project is to build a next-generation navigation...
-
the financial pressures of study. Further, as a result of my scholarship, I have been able to purchase a new computer to assist in my studies. This improved my capacity to focus on my studies and
-
neurophysiological variable estimation framework we have been developing that can be applied to all kinds of brain activity recordings. There are two projects to be completed under this program and we are looking
-
Planning is the reasoning side of acting in Artificial Intelligence. Planning automates the selection and the organisation of actions to reach desired states of the world as best as possible. For many real-world planning problems however, it is difficult to obtain a transition model that governs...
-
human intervention. This project is a collaboration with the Centre for Tropical Environmental and Sustainability Science at the University of Townsville. #sustainability
-
: ○ Where does geographical lack of data about the Birrarung make it hard to estimate its state? ○ How can we best supplement lack of data: by citizen science, new instrumentation, or modelling methods
-
I work on the study of massive and supermassive stars (10-100,000 solar masses); the first generations of stars in the universe (Pop III stars); evolution of rotating massive stars and the spin of their remnants (including predictions for GW sources); mixing and transport processes in the...