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
-
We are living in the era of the 4th industrial revolution through the use of cyber physical systems. Data Science has revolutionised the way we do things, including our practice in healthcare
-
We are excited to offer a fully funded PhD position at the Faculty of Engineering, Monash University (Australia). This project focuses on developing new algorithms to equip social robots with
-
This PhD project is part of a larger project that aims to explain the uncertainty of Machine Learning (ML) predictions. To this effect, we must quantify uncertainty, devise algorithms that explain ML predictions and their uncertainty to different stakeholders, and evaluate the effect of the...
-
, computing, manuscript preparation, and problem-solving skills. They should be well-organized, able to prioritize tasks, and communicate effectively. Proficiency in analyzing and interpreting meteorological
-
Dr Aunty Doris Paton Indigenous Accommodation Scholarship The Faculty of Medicine, Nursing and Health Sciences is offering the Dr Aunty Doris Paton Scholarship for Indigenous Students to support
-
Monash University-Vietnam Government PhD Scholarship (Project 89) This joint scholarship program supports high-achieving Vietnamese candidates to undertake a PhD at Monash University. Applicants can
-
schools as part of the Access Monash Mentoring Program, giving you the opportunity to develop your leadership, public speaking and teamwork skills. The Gandel family have a close connection with Monash
-
In recent years, the rise in cybercrimes has significantly increased the vulnerability of the open internet to various threats and cyber-attacks. Among these, phishing stands out as one of the most perilous crimes worldwide. In a phishing attack, perpetrators create fraudulent websites that...
-
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