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
-
rural health and returning to work in the local region. You must be intending to study an undergraduate degree at the Monash Faculty of Medicine, Nursing and Health Sciences and experiencing financial
-
Monash University-China Scholarship Council (CSC) Joint Scholarship This joint scholarship program seeks to attract high-achieving Chinese students to undertake their PhD at a Monash campus in
-
Bachelor of Applied Data Science Advanced (Honours) Ruby I'm more flexible and reassured about my financial situation with a scholarship. It has also given me the opportunity to participate in the Access
-
Synthetic data generation has drawn growing attention due to the lack of training data in many application domains. It is useful for privacy-concerned applications, e.g. digital health applications based on electronic medical records. It is also attractive for novel applications, e.g. multimodal...
-
knowledge that positively impacts the world. Monash University’s research support services in Animal Ethics support research activities in biomedical research, pharmaceutical sciences, and ecology and
-
Introduction Rodent behavioural testing is the study of the neural mechanisms underlying emotions [1]. It is used in the study of almost all mental conditions, including PTSD [2], OCD [3] and autism [4]. For example, to measure anxiety, researchers may place a rodent in a large tub, record a...
-
Agent-based computational simulations are now widely employed to study the evolution of behaviour, e.g., predator-prey simulations, the evolution of cooperation and altruism, the evolution of niches
-
In the big-data era, the proliferation of data and the widespread adoption of data analytics have made data literacy a requisite skill for all professions, not just specialist data scientists
-
I supervise a wide range of PhD projects on experimental research into the electronic properties of novel quantum materials including topological insulators, graphene, and other atomically thin two-dimensional materials. I am interested in creating a low-power topological transistor, in which an...
-
In recent years, AI techniques such as GANs and associated deep learning neural networks have become popular tools applied to the production and creation of works of art. In 2018, AI Art made headlines around the world when a “work of art created by an algorithm” was sold at auction by...