638 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
- Law
- Mathematics
- Psychology
- Arts and Literature
- Philosophy
- Education
- Sports and Recreation
- Earth Sciences
- Chemistry
- Design
- Electrical Engineering
- Environment
- Social Sciences
- 13 more »
- « less
-
This project focuses on developing algorithms capable of automatically identifying and categorizing mobile ringtones. This involves leveraging machine learning techniques to analyze audio signals from mobile devices and classify them into different categories or types of ringtones. The...
-
Students who are experience difficult personal circumstances Total scholarship value Up to $30 000 Number offered One See details Kayla Humphrey Pauline Gandel Scholarship Coming from regional Victoria
-
the Humanities, Arts and Social Sciences (HASS), is more critical than ever. HASS disciplines offer the tools to understand the human dimensions of environmental and climate change – our values, cultures, politics
-
checks required for the role, as determined by the University. Enquiries: Professor Janet Anderson, Professor of Human Factors, janet.anderson@monash.edu Position Description: Research Fellow - Level A
-
Motorola Solutions Leap Scholarships Industry Leaders Scholarship The Motorola Solutions Leap Scholarships are designed to support students pursuing a Bachelor of Paramedicine (Honours) or a Master of Specialist Paramedic Practice. These scholarships aim to help equip the next generation of...
-
and/or background checks required for the role, as determined by the University. Eligibility requirements: Candidates will need to fulfil the Monash University minimum requirements for admission to a
-
, computer games) and a wide variety of solution methods have been proposed. Once a plan is computed, execution proceeds under the supervision of a human operator who is free to modify and adjust the plan
-
that are constructed in a way that is inspired by what we know about self-awareness circuits in the brain and the field of self-aware computing. The project will advanced state of the art AI for NLP or vision or both
-
Multiple PhD Scholarships available - Cutting-edge research at the frontiers of Whole Cell Modelling
to modulate protein translation. This project will use RNA cross-linking technology to understand all of the RNA-mediated control elements that contribute to the system of regulation that links metabolic needs
-
checks required for the role, as determined by the University. Enquiries: Sophie Vidinovski, Interim Executive Director, Marketing and Communications, +61 3 (9905 4967) Position Description: Senior