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
-
My research interests focus on the stars - primarily their structure, evolution and nucleosynthesis. This can involve modelling of mixing in stars, or effects of changing nuclear burning rates; trying to understand why certain elements are more abundant than others; or how the different...
-
given to students specialising in Electrical and Computer Systems Engineering. Benefits $10,000 per annum for up to two years. Number offered Two scholarships available at any time. Selection criteria
-
Monash Mentor Scholarships The Monash Mentor Scholarship is designed to recognise excellence of students participating in the Access Monash Mentoring program. Mentors have the opportunity to develop
-
Answering over Knowledge Bases. Journal of Web Semantics, 2020. Hua, Yuncheng; Li, Yuan-Fang; Haffari, Reza; Qi, Guilin; Wu, Wei. Retrieve, Program, Repeat: Complex Knowledge Base Question Answering via
-
) Number offered Variable (Depending on funding) See details Bachelor of Medical Science and Doctor of Medicine Imogen This scholarship has contributed to my achievement of publishing my first paper as
-
. Wallace ", Computer Journal , Vol. 51, No. 5 (Sept. 2008) [Christopher Stewart WALLACE (1933-2004) memorial special issue [and front cover and back cover ]], pp 523-560 (and here ). www.doi .org
-
Barwon South Western Region Palliative Care Scholarship Sir John Monash Fee Scholarship This scholarship is for eligible students nominated by the Barwon South Western Region Palliative Care Consortium (BSWRPCC). Applications No application required Total scholarship value 100% tuition...
-
of the following scholars programs at a Monash campus in Australia: Bachelor of Pharmaceutical Science (Advanced) Honours Scholars Program Bachelor of Pharmacy (Honours)/Master of Pharmacy Scholars Program Benefits
-
based on matched-filter statistics. Detecting the unknown relies on the development of complex algorithms at the forefront of statistics, machine learning, and data science. This multi-disciplinary
-
Testing self-driving cars is extremely difficult, as one has to account for a very large space of possible scenarios. In this project, we will explore the application of automated testing techniques, mainly in the area of search-based software testing to verify that the AI components of...