632 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
-
This is one of our CSIRO Next Generation AI graduate programme PhD projects with Future Wellness Group: https://www.monash.edu/it/ssc/raise/projects/personal-future-health-prediction Note: *** Must
-
My research focuses on strongly interacting quantum systems at the interface between condensed matter physics and ultracold atomic gases. In particular, I am interested in the interplay between few- and many-body physics in scenarios ranging from superfluids to quantum impurity problems to...
-
Ian Little Honours Scholarship A scholarship for students intending to pursue an economics honours degree at Monash Business School: Bachelor of Commerce (Honours) or Bachelor of Economics (Honours
-
in analogue formats in the first place. However, the preservation of information is often a neglected aspect of community informatics projects and of information behaviour research. This PhD project
-
with generous top-up scholarships. We're looking for talented students with a background in mathematics, computer science, statistics, economics, engineering or other related fields. These positions
-
of Pharmacy in the Faculty of Pharmacy and Pharmaceutical Sciences at a Monash campus in Australia Permanent residence that is more than 50 km from the Melbourne CBD Note: Past recipients of the Thea Pärnamäe
-
This project is technical in nature and would suit a candidate with a background and interest in #Java programming, health informatics or health data (or a combination thereof). The primary aim
-
computers to large-scale multi-dimensional simulations on high-end supercomputers, depending on your interests and inclinations. "Modelling extreme supernova explosions: From fast and faint to bright and
-
possess translational symmetry, the role of structure and symmetry in glasses is not established. This research programme involves the development of new x-ray and electron diffraction-based methods
-
This project will explore the use of Mixed-Reality (MR) headset technology to support people in performing maintenance tasks in complex environments, where the nature of the work involves close