642 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
- Linguistics
- Biology
- Humanities
- Materials Science
- Mathematics
- Psychology
- Arts and Literature
- Law
- Philosophy
- Education
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
, with an operational footprint globally, the Maintenance Technology Institute (MTI) is a commercially orientated, professional research and engineering organisation that has been providing professional
-
for Earth" grant by Microsoft, one of only 6 projects in Australia to receive this recognition. The new project will build original frameworks for future applications of Machine Learning and Computer Vision
-
confidential discussion. Your employment is contingent upon the satisfactory completion of all pre-employment and/or background checks required for the role, as determined by the University. Enquiries: Karen
-
The world is dynamic, in constant flux. However, machine learning typically learns static models from historical data. As the world changes, these models decline in performance, sometimes catastrophically so. This PhD will develop technologies for addressing this serious problem, building upon...
-
This project heavily focuses on maps (e.g. GoogleMaps or Open Street Map). We will explore various properties of road networks, including the granularity of road networks, routes and trajectories on road networks, and query processing on road networks. A number of inter-disciplinary...
-
With success stories ranging from speech recognition to self-driving cars, machine learning (ML) has been one of the most impactful areas of computer science. ML’s versatility stems from the wealth
-
experienced hardship to enrol in an undergraduate degree in Medicine, Nursing and Health Sciences at Monash University. Total scholarship value Up to $8 000 Number offered One See details Caitlin James
-
Insects are vital components of natural and agricultural ecosystems that interact with plants in complex ways. Computer simulations can help us understand these interactions to improve crop
-
representations complicate transparency and compliance checks with data protection and privacy legislation (e.g., GDPR) whether performed by humans or computer systems. Second, both privacy-preserving distributed
-
principles must the task choice be based for this to work? These questions are central to explaining the organisation of natural societies, from insects to humans, and to engineering self-organised systems