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
-
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
-
David Shugg Professionalism Scholarship Industry Leaders Scholarship This Scholarship is to honour the important role that David Shugg played in the professionalism of paramedics. Throughout David’s career, he advanced and embedded professionalism in paramedic training and education in the...
-
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
-
, 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
-
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...
-
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...