636 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
-
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
-
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
-
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
-
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
-
qualification in public health or health sciences or have substantial relevant skills and work experience in a health field. The role requires strong organisational and time management skills, experience in
-
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